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

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

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

Relationship between Arguments and Results of Recursive Functions (再帰関数の引数と返値の関係に関する研究)

森畑 明昌

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

IO swapping 概念図
効率良いプログラムをプログラム変換により簡単に構築する手法が研究されてきた。しかし多数のプログラム変換規則を用意するのは現実的でない。我々の提案したプログラム変換 "IO swapping" はプログラム変換変換でもあり、変換規則間の関係を表現している。
修論の感想

勉強もできず自分に自信も持てない僕でしたが、数理に入ってから英語にも数学にも自信がつき、国際発表でも物怖じしなくなりました。数理に入って本当に良かったです。
page top



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