"一銭五厘"の海軍練習生 (運命の八月十五日 56人の証言--完全保存版 ついに明かされる新事実、秘話、語り継がれる体験談)
スポンサーリンク
概要
論文 | ランダム
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述