中部大学

中部大学

教員情報

奥居 哲 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

ページの先頭へ

ホーム
訪問者別メニュー