135512
1026117
%E8%90%A9%E8%B0%B7%E6%98%8C%E5%B7%B1
%E8%90%A9%E8%B0%B7%E6%98%8C%E5%B7%B1
%E8%90%A9%E8%B0%B7%E6%98%8C%E5%B7%B1
%E8%90%A9%E8%B0%B7%E6%98%8C%E5%B7%B1
%E8%90%A9%E8%B0%B7%E6%98%8C%E5%B7%B1
0
|
他の画像検索結果
他人の画像が選択されている・混じっている場合
画像候補は人物名で顔画像を検索したものです。
人物として適切でない画像も含まれてしまう可能性があります。
適切な画像になるよう 萩谷昌己の画像検索結果ページで修正できます
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
関連商品
|
|
|
|
つながりの強いひと
|
|
湯浅太一
ソフトウェアの分野で今後とくに大切なテーマです。 人工知能開発で一番の基本になるのがプログラミング言語です。この言語としては現在、PrologとLispが広... |
|
|
西崎真也
氏名 西崎 真也
よみがな ニシザキ シンヤ
職名 准教授
所属（本務） 大学院情報理工学研究科／計算工学専攻
所属（協力）
生年月 1967年 0... |
|
|
西川明男
「中・長期的視点に立ち、将来のＮＴＴ労働組合の運動を牽引するコア人材にふさわしい人材の育成」を目的に実施。昨年10月の前期集合研修をスタートに、延べ3... |
|
|
山本光晴
山本光晴 所属機関: 千葉大学 大学院 理学研究院数学・情報数理学コース 【この人名をキーに探す】 研究者リゾルバー | GeNii | PORTA 高橋孝一 所属... |
|
|
高橋孝一
高橋孝一 （たかはしこういち）
1963年生。1988年名古屋大学大学院理学研究科数学専攻修了。 同年電子技術総合研究所(現産業技術総合研究所)入所。 形式証明... |
|
|
川合慧
著者情報 川合 慧 1944年東京都に生まれる。1967年東京大学理学部物理学科卒業。1969年東京大学大学院理学系研究科修士課程修了。1982年東京大学理学部助教授... |
|
|
塚田恭章
1988年東京工業大学理学部情報科学科卒業．1990年同大学院理工学研究科情報科学専攻修士課程修了．同年日本電信電話株式会社入社．現在コミュニケーション科... |
|
|
溝口文雄
東京理科大学理工学部経営工学科名誉教授、工学博士。専門は人工知能、認知科学およびソフトウェア工学。より株式会社ウィズダムテック代表(CEO)。 |
|
|
有田正規
有田 正規 (ありた まさのり)
東京大学大学院 理学系 生物化学専攻 生物情報学担当 准教授 経歴 東京大学 大学院... |
|
|
加藤和彦
加藤和彦（かとうかずひこ、1947年3月21日-2009年10月16日）は日本の音楽プロデューサー、作曲家、ギタリスト、歌手。「トノバン」という愛称で呼ばれること... |
|
|
湯淺太一
湯淺 太一 ユアサ タイイチ Yuasa Taiichi 研究者リゾルバーＩＤ： 1 科研費研究者番号 ： 6 所属(KAKENから)： 京都大学/情報学研究科/教授 （※注）この... |
|
|
玉井哲雄
日本のソフトウェア工学者。東京大学工学部卒、同大学院工学研究科修士課程修了。工学博士。現在、東京大学大学院総合文化研究科（広域科学専攻）教授、大学... |
|
|
小宮健
氏名 小宮 健
よみがな コミヤ ケン
職名 助教
所属（本務） 大学院総合理工学研究科／知能システム科学専攻
所属（協力）
生年月
連絡... |
|
|
佐藤雅彦
佐藤雅彦（さとうまさひこ、1954年3月28日−）は日本のメディアクリエーター、東京芸術大学大学院映像研究科教授、慶應義塾大学環境情報学部特別招聘教授。血... |
|
|
千葉滋
氏名 千葉 滋
よみがな チバ シゲル
職名 教授
所属（本務） 大学院情報理工学研究科／数理・計算科学専攻
所属（協力）
生年月
連絡先... |
|
|
坂本健作
氏名 さかもと けんさく
坂本 健作 所属 理化学研究所
横浜研究所ゲノム科学総合研究センター
タンパク質研究グループ
タンパク質合成技術高度化チ... |
|
|
西澤弘毅
2007年7月まで、同研究センターで特別研究員として仕事を続けていました。 また、2007年4月から2007年7月までは、京都大学の非常勤講師も兼任していました。 ... |
|
|
阿部正
江戸時代の大名。陸奥白河藩の第6代藩主。忠秋系阿部家14代。文政10年（1827年）10月24日、備後福山藩主・阿部正寧の兄・阿部正粹の次男として生まれる。嘉永... |
|
|
竹内郁雄
日本の 工学者 。現在は 東京大学 名誉教授。2009年度まで東京大学大学院情報理工学系研究科創造情報学専攻教授。東京大学大学院理学研究科 数学 専攻修士課... |
|
|
横山茂之
横山茂之 出典: 東京大学 大学院理学系研究科 教員情報 Wiki 移動: ナビゲーション , 検索 横山 茂之 ( よこやま しげゆき ) 職名 教授 所属 理学系 ... |
|
|
プロフィール
受賞者紹介 萩谷 昌己 （はぎや・まさみ） 昭和32年 9月14日生まれ 京都大学数理解析研究所 助教授 昭和 55年 東京大学理学部情報科学科卒業 昭和 57年 東京大学大学院理学系研究科 修士課程修了 昭和 57年 京都大学数理解析研究所・助手 昭和 63年 理学博士（京都大学） 昭和 63年 京都大学数理解析研究所・助教授 専門： 情報科学 特にプログラム合成、型理論、ユーザーインターフェース 著書： 『ソフトウェア考現学』 （CQ出版） 『Common Lisp 入門』 （岩波書店、共著） 贈賞の理由 プログラムの一般化に関する研究 情報社会の進展とともにソフトウェアの需要は加速度的に増えており、ソフトウェアの生産性を高めることは時代の要請と言えます。そのための方策として、プログラム作成の自動化という研究がいろいろと行なわれています。そ ... もっと見る
受賞者紹介 萩谷 昌己 （はぎや・まさみ） 昭和32年 9月14日生まれ 京都大学数理解析研究所 助教授 昭和 55年 東京大学理学部情報科学科卒業 昭和 57年 東京大学大学院理学系研究科 修士課程修了 昭和 57年 京都大学数理解析研究所・助手 昭和 63年 理学博士（京都大学） 昭和 63年 京都大学数理解析研究所・助教授 専門： 情報科学 特にプログラム合成、型理論、ユーザーインターフェース 著書： 『ソフトウェア考現学』 （CQ出版） 『Common Lisp 入門』 （岩波書店、共著） 贈賞の理由 プログラムの一般化に関する研究 情報社会の進展とともにソフトウェアの需要は加速度的に増えており、ソフトウェアの生産性を高めることは時代の要請と言えます。そのための方策として、プログラム作成の自動化という研究がいろいろと行なわれています。その1つとして、部品となるモジュールをたくさん用意しておき、作りたい目的のプログラムに応じて、それらを検索し、組み合わせようという方法があります。 このようなアプローチに関連して、当然のことながら、既存のプログラムをいかに部品化するか、つまり「どのようにして一般化されたモジュールを作るか」という問題があります。もしこれに成功すれば、プログラムの再利用が促進され、ソフトウェアの生産性は飛躍的に向上するわけです。 プログラムの一般化の研究は、これまで個々の具体的なプログラムに対して議論されてきました。しかし萩谷助教授は、より一般性をもった「数学的な定式化」に挑戦し、成功を収めたのです。具体的には、マルチン・レフの高階型論理によってプログラムを表現し、プログラムと仕様（プログラムの目的の記述）を同時に一般化することを試みました。 実用化という点では、まだ解決しなければならない課題が多く残されていますが、この成果は、プログラムの一般化へ向けて大きな一歩と言えます。プロ グラムというきわめて現実的でドロくさいものを、論理というきわめて抽象的なものに明確に関連づけたわけで、その試みは高く評価されています。 戻る
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
萩谷昌己さんについてのひとこと紹介
|
|
|
|
