関数型言語ML 関数の集まりでプログラムを記述 関数の適用（式の構造） 評価中、式の意味は変化しない 副作用*1なし 代入・制御構造なし(whileやgoto) 高階関数：引数や戻り値として関数をゆるす 多相型：パラメータつきの型 型推論 抽象データ型：型とそれ…

オペレーティングシステム（OS）とは 定義はきっちり決まっていない。 岩波講座 ソフトウェア科学〈〔環境〕6〉オペレーティングシステム作者: 前川守出版社/メーカー: 岩波書店発売日: 1988/09/06メディア: 単行本購入: 3人 クリック: 10回この商品を含むブ…