Maruyama H. | Meteorological Research Institute, Tokyo
スポンサーリンク
概要
論文 | ランダム
- 「死を通して生を考える教育」の重要性
- あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)
- シミュレーティド・アニーリングを用いたテクノロジーマッピング
- 冷間タンデムミルのバランス制御技術