プロフィール
| |
- Author:あろは (alohakun)
- 若槻俊宏 (WAKATSUKI toshihiro)
連絡先 : alohakun ___at___ gmail.com
mixi : http://mixi.jp/show_friend.pl?id=182927
twitter : http://twitter.com/alohakun
abstract
プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています．
具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています．
もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています．
キーワード : equivalent transformation, computation model, programming paradigm, formal specification, program synthesis
|
FC2カウンター
| |
|
ブロとも申請フォーム
| |
この人とブロともになる
|
|
|
最近のコメント
| |
| リンク
| |
このブログをリンクに追加する
| 最近のトラックバック
| |
| 人生の残り日数
| |
日本人男性の平均寿命は 28700日．
| RSSフィード
| |
| カテゴリー
| |
|
|
