研究者詳細

<< 業績一覧に戻る

研究経歴
分割表示   全件表示 >>

2 件中 1 - 2 件目

長期研究／短期研究
Long or Short
   Term research		 研究課題名
Research Topic
長期研究  プログラミングの方法論 

概要（Abstract） 計算機プログラムおよび計算機アーキテクチャを数理的にとらえて、プログラミングの方法論にあらたな視点を与える。 

短期研究  効率的プログラム可逆化に関する研究 

概要（Abstract） プログラムの実行による効果を元に戻すためには、実行履歴などの余剰データを保持するようなプログラム可逆化が有効である。この余剰データを最小化する具体的な構成方法を精査する。また、基本的なアルゴリズムに対して、この余剰データを最小化するような効率的プログラム可逆化を考案して評価する。 

Page: [<<PREV] [1] [NEXT>>]

<< 業績一覧に戻る

△このページの先頭へ