2016年 – The T World

[haskell]todo.hs

it 2016年11月13日 2016年11月13日haskell, プログラム 0

教科書通りにやってみました。 todo.hs

[haskell]ディレクトリのリストを出力する

it 2016年10月23日 2016年10月23日haskell, プログラム 0

ディレクトリのリストを出力する。ファイル内容を出力する時と同じ要領で作ることができた。

import System.Directory
import System.IO

main::IO()
main = do
	dirs < - getDirectoryContents "."
	case dirs of
		[] -> putStrLn ""
		_ -> mapM_ (\x -> putStrLn x) [ndirs | ndirs < - dirs, ndirs /= ".", ndirs /= ".."]

import System.Directory

import System.IO

main::IO()

main = do

dirs < - getDirectoryContents "."

case dirs of

[] -> putStrLn ""

_ -> mapM_ (\x -> putStrLn x) [ndirs | ndirs < - dirs, ndirs /= ".", ndirs /= ".."]

dirsから”.”と”..&# …

haskell事始め

it 2016年10月23日 2016年10月23日haskell, プログラム 0

haskellをはじてみる。まずはファイルを扱えるようになることから。以下のコードでファイルの内容を出力するプログラムができる。

import System.Environment
import System.IO

main::IO()
main = do
    args < - getArgs
    case args of
        args -> getContents >>= putStr
        _ -> mapM_(\x -> readFile x >>= putStr) args

import System.Environment

import System.IO

main::IO()

main = do

args < - getArgs

case args of

args -> getContents >>= putStr

_ -> mapM_(\x -> readFile x >>= putStr) args

getArgsは引数を[ …

設計するということ

it 2016年10月9日 2016年10月9日プログラム, 開発プロセス 0

Z3 – guide 興味あってZ3のチュートリアルをやってみた。設計や検証に使えるのかを知りたかったので。関数の定義や取りうる値の範囲を決めるところなど、なんとなくソフトウェア設計そのものをやっているみた …

ご挨拶

it 2016年1月1日 2016年10月9日WelcomMessages, このBLOGについて 0

みなさまから刺激をいただき、今年も頑張ります。本年が良い年となりますように。

月	火	水	木	金	土	日
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30	31