若手個人研究

JSTニュース

Print ISSN : 1349-6257

Close Up

若手個人研究

科学技術振興事業団

著者情報

キーワード: 若手個人研究, 小川瑞史, 数理情報学

ジャーナルフリー

2002 年 2002 巻 66 号 p. 18

DOI https://doi.org/10.1241/jstnewsinitial.2002.66_18

詳細

抄録

研究課題「効率的で正しいプログラムの自動生成」
東京大学大学院情報理工学系研究科数理情報学専攻　小川瑞史

著者関連情報

© 2002 科学技術振興事業団

お気に入り & アラート

関連記事

閲覧履歴

後続誌

JSTニュース

Top