東京大学
| ENGLISH | サイトマップ |
東京大学 大学院 情報理工学系研究科
交通アクセス・学内地図
訪問者別ご案内
受験・進学希望の方
留学生の方
(For International Students)
企業・一般の方
修了者の方
高校生の方
大学生の方
教育と研究
研究科案内
各専攻・教員の紹介
 
コンピュータ科学
  数理情報学
  システム情報学
  電子情報学
  知能機械情報学
  創造情報学
連携講座等 (工事中)
国際交流
(International Relations)
人材養成プログラム
魅力ある大学院教育
イニシアティブ
21世紀COEプログラム
入学・進学案内
科目履修生案内
産学連携
公募情報
情報理工システム管理室
(内部のみ)
ポータルサイト (内部のみ)
学生情報システム (内部のみ)
情報理工内部ページ (内部のみ)
関連学部
工学部
理学部
Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > システム情報学
教育と研究

数理情報学
専攻の目的Department Objective教員と研究室Faculty and Labs講義
学位論文(修士)学位論文(博士)入試案内お知らせ
Technical Reports計数工学科数理情報工学コース

>> 学位論文(修士)へ戻る

右逆関数の自動導出によるプログラムの並列化に関する研究

森田 和孝

(指導教員:武市 正人 教授/数理情報第7研究室
資料PDF(moritak.pdf
研究概要

ある特定の形で記述されたプログラムは, 効率的な並列プログラムに変換可能であることが知られている. しかし, その並列プログラムの導出法は長い間未解決問題であった. 本研究ではこの問題に対しアルゴリズムを与え, 自動並列化を行うシステムを実装した.
修論の感想

本研究を通して, 研究に対する姿勢や研究を行うことの楽しさについて学ぶことができました. ここで培った自信と実力で, この先どんなことについても挑戦していけると思います.
page top



大学院 情報理工学系研究科 お問い合せ先 東京大学