「設計法」を解説文に含む見出し語の検索結果(51～60/430件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/23 06:11 UTC 版)「道路橋示方書」の記事における「その後の改訂」の解説本書の改訂は、技術の変遷や社会事情を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/06 14:28 UTC 版)「アプロヴェチョ」の記事における「ロレイナストーブの失敗」の解説詳細は「en:Cook ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/17 17:34 UTC 版)「東京ゲートブリッジ」の記事における「施工と技術」の解説橋のコンセプトは「耐用年数100...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/07 08:53 UTC 版)「藤井澄二」の記事における「東京大学藤井澄二研究室」の解説当初は制御工学の講座ができると...
NEXST-1は、航空宇宙技術研究所（NAL）と後継機関の宇宙航空研究開発機構（JAXA）航空本部（現：航空技術部門）が開発・運用した実験機。「小型超音速実験機」とも呼ばれる。概要 NEXST-1超音...
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてき...
三田 純義（みた すみよし、1949年12月6日 - ）は、日本の学者・教育学者である。群馬大学教授。専門は金属加工、機械・電気・電子・情報技術教育。目次1 来歴・人物2 専門分野3 担当講義4 著書...
小林 和夫（こばやし かずお、1941年[1] - 2015年）は、日本の土木工学者。大阪工業大学工学部土木工学科・都市デザイン工学科元教授。工学博士（京都大学）。日本コンクリート工学...
石尾 秀樹（いしお ひでき、1943年[1] - ）は、日本の情報通信工学者。大阪工業大学名誉教授。工学博士（京都大学）。電子情報通信学会(IEICE)フェロー・関西支部元評議員 ...