| 大会名称 |
|---|
| 2005年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2005 |
| 発行日 |
| 2005/8/22 |
| セッション番号 |
| 2J |
| セッション名 |
| コンピュテーション |
| 講演日 |
| 2005/09/07 |
| 講演場所(会議室等) |
| J会場（6号館3階 6317教室） |
| 講演番号 |
| LA-001 |
| タイトル |
| 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法 |
| 著者名 |
| 櫻井 敬大, 草刈 圭一郎, 西田 直樹, 酒井 正彦, 坂部 俊樹, |
| キーワード |
| 抄録 |
| 本文pdf |
| PDF download (178.1KB) |