プログラム効率化における規則の抽出に関する研究

山口 洋

（指導教員：武市 正人教授／ 数理情報第7研究室）

研究概要

プログラミングコンテストという多少実用寄りの問題に対してプログラムの効率化を考え、その背景にあるプログラムの変換規則を抽出することを試みた。その結果、いくつかの規則を得ることができた。

2種類のプログラムの関係

卒論の感想

よく知られているちょっとしたテクニックに対し、理論的な根拠を与え、機械的に適用できる規則としてまとめることがどれほど大変なことか、痛感した。