|
|
|
留学生の方
(For International Students) |
|
|
|
|
|
|
|
|
|
|
Relationship between Arguments and Results of Recursive Functions (再帰関数の引数と返値の関係に関する研究) |
森畑 明昌
(指導教員:武市 正人 教授/数理情報第7研究室)
|
IO swapping 概念図 |
効率良いプログラムをプログラム変換により簡単に構築する手法が研究されてきた。しかし多数のプログラム変換規則を用意するのは現実的でない。我々の提案したプログラム変換 "IO swapping" はプログラム変換変換でもあり、変換規則間の関係を表現している。
勉強もできず自分に自信も持てない僕でしたが、数理に入ってから英語にも数学にも自信がつき、国際発表でも物怖じしなくなりました。数理に入って本当に良かったです。
|
|
|