奥居 哲 OKUI Satoshi
プロフィール
| 職名 | 准教授 |
|---|---|
| 所属 |
工学部 情報工学科 大学院 工学研究科 情報工学専攻 |
| 最終学歴 | 筑波大学大学院工学研究科 |
| 学位 | 博士(工学)（筑波大学） |
| 所属学会・役職 | 情報処理学会 日本ソフトウェア科学会 |
| 専門分野 | 記号計算 |
| 研究テーマ | 項書換え系、等式の定理証明、関数， 論理プログラミング |
| 授業科目 | 形式言語とオートマトン |
学術論文、評論
Deterministic Lazy Narrowing Calculus, J. Symbolic Computation, Vol.25 No.6, 1998
Lazy Narrowing: Strong Completeness and Eager Variable Elimination, Theoretical Computer Science, Vol.167, No.1-2, 1996
Outside-In Conditional Narrowing, IEICE Trans. Info. & Sys. Vol.E77-D, No.6, 1994
講演、シンポジウム、学会発表
鈴木裕利, 奥居哲, 中西真弓, 高橋友一：「匿名型Peer-to-Peer通信環境における流通情報の信頼度評価に関する人間行動の分析とモデル化」グループウェアとネットワークサービスワークショップ2004, pp.63-68, 情報処理学会, 2004
λ項にもとづく抽象ナローイングとその完全性，情報処理学会プログラミング研究会（はこだてみらい大学）, 2000
Simultaneous Critical Pairs and Church-Rosser Property, 9th RTA （LNCS 1379）, 1998
