教員情報 - 奥居　哲 | 中部大学

（最終更新日 : 2024-11-21 15:56:15）

オクイ　サトシ OKUI Satoshi
奥居　哲

所属

工学部情報工学科

大学院工学研究科情報工学専攻

職名准教授

学歴
	筑波大学大学院工学研究科博士 (工学)

所属学会
～	情報処理学会
～	日本ソフトウェア科学会

現在の専門分野
記号計算

研究テーマ
正規表現とオートマトン
等式の定理証明
関数/論理プログラミング
項書換え系

担当授業科目
形式言語とオートマトン
コンパイラ

著書・論文歴
論文	Deterministic Lazy Narrowing Calculus J. Symbolic Computation Vol.25 (No.6) 1998
論文	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
論文	Lazy Narrowing: Strong Completeness and Eager Variable Elimination Theoretical Computer Science Vol. 167 (No. 1-2.) 1996
論文	Outside-In Conditional Narrowing IEICE Trans Vol.E77-D (No.6) 1994
全件表示（6件）

学会発表
2004	「匿名型Peer-to-Peer通信環境における流通情報の信頼度評価に関する人間行動の分析とモデル化」 (グループウェアとネットワークサービスワークショップ2004, pp.63-68, 情報処理学会)
2000	λ項にもとづく抽象ナローイングとその完全性 (情報処理学会プログラミング研究会)
1998	Simultaneous Critical Pairs and Church-Rosser Property (9th RTA （LNCS 1379）)
1998	Simultaneous Critical Pairs and Church-Rosser Property (9th RTA (LNCS 1379))