研究者詳細情報
| 研究者 | 廣川 直 |
|---|---|
| 大学 | JAIST 情報科学系、知能ロボティクス領域 |
| 研究室名 | https://www.jaist.ac.jp/~hirokawa/index-ja.html |
| 専門分野 | 項書き換え |
| 研究テーマ | 非決定計算のための項書き換え理論 |
| 検索キーワード |
項書き換え・停止性・合流性・計算量解析
|
| PR URL | |
| PRタイトル名 | |
| PR詳細文 (図) |
|
| 特許 | |
| 論文 | |
| 科研費 |