研究発表 - 山田　敬三

汎用自動証明システムのWebアプリケーションとしての再構築

学会  電気関係学会九州支部大会  その他 

2005年01月

　

　

補題を用いた類推自動証明システム

学会  電気関係学会九州支部大会  その他 

2004年01月

　

　

人間指向型汎用類推証明システムの開発

学会  LAシンポジウム  その他 

2004年01月

　

　

人間指向型類推証明システムにおける類推処理の効率化

学会  LAシンポジウム  その他 

2004年01月

　

　

類推に基づく再利用機能を備えた証明支援システムの開発

学会  電気関係学会九州支部大会  その他 

2003年01月

　

　

類推機能をもった対話型シークェント計算証明システムの開発

学会  LAシンポジウム  その他 

2003年01月

　

　

類推機能をもった対話型シークェント計算証明システムの開発

学会  電子情報通信学会　人工知能と知識処理  その他 

2003年01月

　

　

シークェントを用いた汎用類推証明支援システムの開発

学会  電気関係学会九州支部大会  その他 

2003年01月

　

　

マルチエージェントモデルを用いた分居減少のシミュレーションと分析

学会  電気関係学会九州支部大会  その他 

2003年01月

　

　

類推を用いた帰納法による照明の自動化

学会  電気関係学会九州支部大会’02  その他 

2002年01月

　

　

射影可能性に基づく述語スキーママッチング

学会  電気関係学会九州支部大会’01  その他 

2001年01月

　

　

Prechecking を用いた効率的2階述語マッチング

学会  LAシンポジウム  その他 

2001年01月

　

　

LK証明支援システムの開発

学会  電子情報通信学会　コンピュテーション研究会  その他 

2001年01月