論文 - 山田 敬三
-
作問演習システム「CllabTest」の利用促進に向けた教員支援機能の提案と教育方法の調査
高木正則，金子徹哉，望月雅光，佐々木淳，山田敬三，勅使河原可海
教育システム情報学会誌 2012年01月
研究論文（学術雑誌）
共著 日本語
-
Development of a Monitoring System Using Telephones for the Elderly Living Alone
Jun Sasaki, Keizo Yamada, Masonori Takagi, Michiru Tanaka, Akiko Ogawa
Proc. of the 9th SoMeT 2010年09月
研究論文（国際会議プロシーディングス）
共著 英語
-
Study on Economical Structure of Safety Monitoring System by Using Telephone for Elderly People Living Alone in a Rural Area
Jun Sasaki, Keizo Yamada, Masonori Takagi, Michiru Tanaka, Akiko Ogawa
Proc. of 10th WSEAS 2010年08月
研究論文（国際会議プロシーディングス）
共著 英語
-
Development of an Integrated Health Improvement Support System
Katsuya Takahashi, Keizo Yamada, Jun Sasaki and Yutaka Funyu
Proc. of SoMeT2009 2009年09月
研究論文（学術雑誌）
共著 英語
-
Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences
Jun Sasaki, Keizo Yamada, Michiru Tanaka, Hamido Fujita, Dominico M. Pisanelli, Riccardo Rasconi, Lorenza Tiberio and Claudio De Lazzari
Proc. of SoMeT2009 2009年09月
研究論文（学術雑誌）
共著 英語
-
Prototype Systems of Life Support Network for Rural Living People
Jun Sasaki, Keizo Yamada, Michiru Tanaka and Yutaka Funyu
Proc. of the 19th EJC 2009年07月
研究論文（国際会議プロシーディングス）
共著 英語
-
Analogy Based Generic Automatic Theorem Prover
山田敬三,尹,原尾,平田
Proc. of LLLL 2005年01月
研究論文（学術雑誌）
担当範囲： p.28-33
共著 日本語
-
Efficient Second Order Predicate Schema Matching Based on Projection Position Indexing
山田敬三,原尾,尹,平田
Proc. of IWIL’04 2005年01月
研究論文（学術雑誌）
担当範囲： p.31-42
共著 日本語
-
Development of an Analogy-Based Generic Sequent Style Automatic Theorem Prover Amalgamated with Interactive Proving
山田敬三,尹,原尾,平田
Proc. of IWIL’04 2005年01月
研究論文（学術雑誌）
担当範囲： p.78-87
共著 日本語
-
Efficiently Computable Classes of Second Order Predicate Schema Matching Problems
山田敬三,原尾,尹,平田
Proc. of UNIF’05 2005年01月
研究論文（学術雑誌）
担当範囲： p.121-134
共著 日本語
-
Tractable and intractable second-order matching problems
山田敬三,平田,原尾
J. of Symbolic Computation 37 2004年01月
研究論文（学術雑誌）
担当範囲： p.611-628
共著 日本語
-
Pre-Checking に基づく効率的スキーママッチングアルゴリズム
山田敬三,久保,平田,原尾
電子情報通信学会論文誌 2002年01月
研究論文（学術雑誌）
担当範囲： p.143-151
共著 日本語
-
Second-Order Schema Matching Based on Projection Point Labeling
山田敬三,原尾,平田
Proc. of Unif ‘01 2001年01月
研究論文（学術雑誌）
担当範囲： p.49-53
共著 日本語