| [ JAPANESE | ENGLISH ] | |
ば ん ば ら む つ の り
番原 睦則 |
 左から，田村先生，丹生君，番原 (2008年シドニーにて) |
|
神戸大学 情報基盤センター (ISTC) 学術情報処理研究部門 准教授 工学部情報知能工学科，大学院システム情報学研究科兼任 博士(工学) |
〒657-8501 兵庫県神戸市灘区六甲台町1-1 Tel & Fax：078-803-5365 
|
| Bibliography | |
| 近況報告 | |
| 田村研究室 | 番原が所属する研究室です． |
| 経歴および研究業績リスト | |
| 発表論文リスト | |
| Selected Softwares | |
| Prolog Cafe [NEW] | PrologからJavaへのトランスレータ処理系 |
| LLP | 線形論理の基づく論理型言語のコンパイラ処理系 |
| TLLP | 時相線形論理の基づく論理型言語のコンパイラ処理系 |
| Projects | |
| CSPSAT [NEW] | SATに基づく制約ソルバに関するプロジェクト |
| HECS |
Javaによる異種協調制約解消システム (平成14--15年度IPA未踏ソフトウェア創造事業 紀PM採択テーマ) |
| Link Collections | |
| 線形論理 | |
| 論理プログラミング | |
| Java Prolog | |
| Misc | |
| Javaのページ | |
| LLP関連論文一覧 | |
| JICSLP'98に参加したときの写真 | |
| Lecture | |
| 言語工学特論 (終了) | 学内限定サイト |
| プログラミング言語特論 | 学内限定サイト |
| プログラミング言語論(演習前半) | 学内限定サイト |
| 情報基礎 | 学内限定サイト |
| Last modified: 1st July 2008 |