テストベッドとは、大規模なシステム開発で用いられる、実際の運用環境に近づけた試験用プラットフォームの総称である。テストベッドは、実際に運用されているシステムを危険にさらすことなく、実際の運用体制に近い状況で稼動させる目的で用いられる。http:…

cited from: http://e-words.jp/w/E38397E383AAE382A8E383B3E38397E38386E382A3E38396E3839EE383ABE38381E382BFE382B9E382AF.html プリエンプティブマルチタスクとは、一台のコンピュータで同時に複数の処理をこなすマルチタスク処理の実現方法のうち、CPUを…

LTSA - Labelled Transition System AnalyserLTSA is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA suppor…

Wikipedia によると、 形式仕様記述とはソフトウェアやハードウェアの実装を開発する際に使用される数学的記述。 数学的に書くと何がいいのか？

Haskell のお勉強をした。Agda の経験があるから、すんなりと理解できた（ように思う）。実際ゴリゴリ書こうとすると、いろいろとボロが出るんだろうが。ギターを習うときに、最初にFを鳴らす練習をすればいいといっていた人がいた。F で挫折する人が多いか…