221679
1113274
%E7%B1%B3%E5%B4%8E%E7%9B%B4%E6%A8%B9
%E7%B1%B3%E5%B4%8E%E7%9B%B4%E6%A8%B9
%E7%B1%B3%E5%B4%8E%E7%9B%B4%E6%A8%B9
%E7%B1%B3%E5%B4%8E%E7%9B%B4%E6%A8%B9
%E7%B1%B3%E5%B4%8E%E7%9B%B4%E6%A8%B9
0
|
他の画像検索結果
他人の画像が選択されている・混じっている場合
画像候補は人物名で顔画像を検索したものです。
人物として適切でない画像も含まれてしまう可能性があります。
適切な画像になるよう 米崎直樹の画像検索結果ページで修正できます
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
渡辺治
日本の政治学者。一橋大学名誉教授。主要研究領域は、政治学、日本政治、憲法学。 |
|
|
友石正彦
ヘルプ 友石正彦 研究者情報 研究者情報 研究業績一覧 姓 友石 TOMOISHI 名 正彦 MASAHIKO 所属組織 東京工業大学 大学マネジメントセンター ... |
|
|
萩谷昌己
これまで個々の具体的なプログラムに対して議論されてきました。しかし萩谷助教授は、より一般性をもった「数学的な定式化」に挑戦し、成功を収めたのです。... |
|
|
片山卓也
片山 卓也 氏
北陸先端科学技術大学院大学 学長
【プロフィール】
専門:ソフトウェア開発方法論、高信頼組込みシステム、法令工学、略歴:東京工業大学... |
|
|
西崎真也
氏名 西崎 真也
よみがな ニシザキ シンヤ
職名 准教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月 1967年 0... |
|
|
米澤明憲
日本のコンピュータ科学者。東京大学工学部卒、同大学院工学研究科修士課程修了。マサチューセッツ工科大学(MIT)博士課程終了、Ph.D.。現在、東京大学大学院... |
|
|
徳田雄洋
氏名 徳田 雄洋
よみがな トクダ タケヒロ
職名 教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月
連絡先... |
|
|
溝口文雄
東京理科大学理工学部経営工学科名誉教授、工学博士。専門は人工知能、認知科学およびソフトウェア工学。より株式会社ウィズダムテック代表(CEO)。 |
|
|
阿草清滋
阿草清滋 マイポータル 研究ブログ 資料公開 注目の研究者 東倉洋一 12/14 更新 阿草清滋 更新日: 09/... |
|
|
上田和紀
これまでコンピュータの高速化に多大な役割を果たしてきました。しかし、素子の高速化の物理的限界が見えはじめてきています。最近、コンピュータ価格の低下... |
|
|
二村良彦
二村射影などで知られる日本の計算機科学者。専門はアルゴリズム、計算理論、プログラム自動生成など。日本ソフトウェア科学会フェロー（2004年）。 |
|
|
佐伯元司
氏名 佐伯 元司
よみがな サエキ モトシ
職名 教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月 1956年 01月
... |
|
|
徳田英幸
工学者、大学教授、工学博士。慶應義塾大学環境情報学部教授兼大学院政策・メディア研究科委員長。専門分野は、計算機科学，分散システム，オペレーティング... |
|
|
土居範久
土居 範久(ドイ ノリヒサ) 1939年兵庫県生まれ。慶応義塾大学大学院工学研究科博士課程単位取得退学。慶応義塾大学助手、専任講師、助教授、教授を経て現在... |
|
|
山本光晴
山本光晴 所属機関: 千葉大学 大学院 理学研究院数学・情報数理学コース 【この人名をキーに探す】 研究者リゾルバー | GeNii | PORTA 高橋孝一 所属... |
|
|
松本勉
日本のセキュリティ研究家。物理学者。現横浜国立大学教授。 |
|
|
佐々木良一
著者情報 佐々木 良一 1947年香川県生まれ。1971年東京大学卒業、日立製作所入社。システム開発研究所にてシステム高信頼化技術、セキュリティ技術、ネットワ... |
|
|
木下佳樹
氏名 木下 佳樹 所属 産業技術総合研究所
システム検証研究センター
民間企業との共同研究の実績 産学に関わる競争的研究資金獲得の実績 主な公開特... |
|
|
吉浦紀晃
ヘルプ 吉浦紀晃 研究者情報 研究者情報 研究業績一覧 姓 吉浦 Noriaki 名 紀晃 Yoshiura 状態 本学を転出・卒業 所属組織 東京工業大学 大... |
|
|
プロフィール
氏名 米崎 直樹
よみがな ヨネザキ ナオキ
職名 教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月 1950年 03月
連絡先番号 ホームページのＵＲＬ http://www.yonezaki.cs.titech.ac.jp/ E-mailアドレス yonezaki\4717\cs.titech.ac.jp
メールアドレスは自動収集を避けるため，正しく表記しておりません。
ご面倒ですが，「\」から「\」までの記号及び数字を「@」に書き換えてメールをお送りください。
研究テーマ 信頼性のある実時間システムの形式的手法による開発に関する研究
ソフトウェアの検証に関する研究
非標準論理の証明システムに関する研究 学歴 東京工業大学理工学研究科電子物理工学博士課程修了(19 ... もっと見る
氏名 米崎 直樹
よみがな ヨネザキ ナオキ
職名 教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月 1950年 03月
連絡先番号 ホームページのＵＲＬ http://www.yonezaki.cs.titech.ac.jp/ E-mailアドレス yonezaki\4717\cs.titech.ac.jp
メールアドレスは自動収集を避けるため，正しく表記しておりません。
ご面倒ですが，「\」から「\」までの記号及び数字を「@」に書き換えてメールをお送りください。
研究テーマ 信頼性のある実時間システムの形式的手法による開発に関する研究
ソフトウェアの検証に関する研究
非標準論理の証明システムに関する研究 学歴 東京工業大学理工学研究科電子物理工学博士課程修了(1977)
東京工業大学工学部電気工学卒業(1972) 職歴 東京工業大学教授 (1991-)
北陸先端科学技術大学院大学教授 (1991-1994) 委員歴、役員歴
取得学位・学位論文 学位論文 共同研究
著書・発表論文 全件表示 受賞学術賞 日本ソフトウェア科学会高橋奨励賞 (2006)
情報処理学会論文賞 (1984)
手塚記念研究賞 (1983) 所属学会 日本ソフトウェア科学会 図書館へのリンク 所蔵著書一覧 蔵書検索ページ 担当講義へのリンク Tokyo Tech Open Course Ware 戻る
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
米崎直樹さんについてのひとこと紹介
|
|
|
|
