Onodera Ko | Department of Education and Support for Regional Medicine, Tohoku University Hospital, Japan
スポンサーリンク
概要
- 同名の論文著者
- Department of Education and Support for Regional Medicine, Tohoku University Hospital, Japanの論文著者
論文 | ランダム
- 拡張有限状態機械で記述された協調計算プログラムとその実行系
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- 拡張有限状態機械モデルを用いた分散システムの要求仕様から各ノードの動作仕様の自動導出
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 代数的言語ASLを用いた酒屋在庫管理の要求仕様記述