高木 啓介 | First Department of Surgery, Mie University, School of Medicine
スポンサーリンク
概要
論文 | ランダム
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案
- 耐故障性のための多重化リソースを持つ分散システムの導出法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- GUI制御部の記述と実現の一手法