特集「論理と推論技術の展開」の編集にあたって

印度學佛教學研究, 1991

2009

研究種目: 基盤研究(C)研究期間: 2008-2010課題番号: 20530809研究代表者: 山崎 貞登研究分担者: 田口 浩継, 安孫子 啓, 大谷 忠, 谷口 義昭, 尾高 進, 森山 賢一, 土井 康

2010

研究種目: 基盤研究(C)研究期間: 2008-2010課題番号: 20530809研究代表者: 山崎 貞登研究分担者: 田口 浩継, 安孫子 啓, 大谷 忠, 谷口 義昭, 尾高 進, 森山 賢一, 土井 康

SOCIOTECHNICA, 2006

Transactions of the Japanese Society for Artificial Intelligence, 2005

This paper presents several extensions of order-sorted logic based on the notion of property classification in formal ontology. The refined order-sorted language contains types (as rigid sorts), anti-rigid sorts, and unary predicates in order to distinctly express the following properties: substantial sorts, nonsubstantial sorts, and non-sortal properties. For many separated knowledge bases constructed using the logic, we propose an enriched reasoning mechanism such that each independent knowledge base can extract rigid property information from other knowledge bases (called rigid property derivation). Additionally, we classify (i) anti-rigid properties on the basis of their dependences on time, situation, and belief and (ii) non-sortal properties on the basis of the countability of the elements of the properties.

近代教育フォーラム, 2013

北海学園大学人文論集, 2010

2011

2017

2015

2007

Masakazu Okazaki(2005), Reconstructing the unit "four operations with positive and negative numbers' from the perspective of the transition from arithmetic to algebra, The Forth International Workshop of Mathematics Education Research with Prof. Dr. Heinz Seinbring. 岡崎正和(2006), 「研究としての授業研究の方法と課題-デザイン実験の方法論 に焦点をあてて-」,日本数学教育学会・第39回数学教育論文発表会(フォ ーラム「研究対象としての授業」 [3]) . 岡崎正和(2006), 「数学教育研究方法論としてのデザイン実験について一科学性 と実践性の調和を目指して-」,全国数学教育学会・第24回研究発表会. Masakazu Okazaki(2006), Semiotic chaining in an expression constructing activity aimed at the transition from arithmetic to algebra, The Fifth International Workshop of Mathematics Education Research with Prof. Dr. Wittmann and Prof. Dr. D∂rfler. 加藤雅春・馬場卓也・池田秀雄(2006), 「日本の大学(院)とJICAとの連携に関 する一考察-広島大学-JICA連携特別教育プログラム制度の事例を踏まえ Vll て-」国際開発学会・第17回全国大会. 北川桂一郎・二宮裕之(2006), 「文字の導入とその指導に関する一考察」,全国数 学教育学会・第24回研究発表会. 中村聡・加藤雅春・馬場卓也(2005), 「教育の質的側面の改善に対する授業分析 の可能性について n) 授業の立体的分析による教授学習過程の記述可能 性と課題-」国際開発学会・第15回全国大会. 二宮裕之(2005), 「数学的な考え方における思考と言語との関わり-アメリカ NCTMスタンダードからの示唆-」全国数学教育学会・第22回研究発表会 シンポジウム. 二宮裕之(2005), 「学習のふり返りとまとめに関する一考察一評価に対する「メ タ評価」並びに「学習活動と評価の一体化」の視点から-」,全国数学教育 学会・第22回研究発表会. 二宮裕之(2005), 「レポート形式による評価の可能性について-アメリカの事例 から-」日本教科教育学会・第31回全国大会 二宮裕之(2005), 「算数・数学の才能教育における「学習の深化(enrichment)」と「学 習の加速化(acceleration)」,日本科学教育学会・第29回年会・自主企画課題研 究発表. 二宮裕之・岩崎秀樹・岡崎正和・山口武志・馬場卓也・植田敦三(2005), 「数学 教育における記号論的連鎖に関する考察-Wittmannの教授単元の分析を通 して-」,全国数学教育学会・第21回研究発表会. Ninomiya, H.(2005), Note-taking and metacognition in learning mathematics: An analysis in terms of semiotic chaining and meta-representation, The Third Eastノ軸a Regional Conference on Mathematics Education, Topic Study Group 6: Assessment. 二宮裕之(2007), 「数学教育におけるメタ評価に関する研究-メタ評価に関わる 理論的検討-」,全国数学教育学会・第25回研究発表会. 馬場卓也(2005), 「『数学的な考え方』から見た目本の数学教育の文化論」,全国 数学教育学会・第22回研究発表会(司会) . 馬場卓也・重松敬一・小川義和・熊野善介・平川幸子(2005), 「米国調査(学校 社会班)から見た日本の数学教育の検討」,全国数学教育学会・第22回研究 発表会. 馬場卓也(2006), 「「動詞型カリキュラムの基礎的考察(1) -学習指導要領の動 詞による分析を通して-」,全国数学教育学会・第23回研究発表会. Takeshi Yamaguchi & Koji Ueda (2005), Analysis of generalization process based on the separation model: Focusing on the classification of emblems, The Forth International Workshop of Mathematics Education Research with Prof. Dr. Heinz Seinbring. 山口武志・岩崎秀樹(2007), 「算数と数学の接続に関する教授・学習原理の研究 (I)-代数-の展開-」,全国数学教育学会・第25回研究発表会. vhi 一般化分岐モデルに基づく分数除の教授・学習に関する研究 岩崎 秀樹(広島大学)L山口 武志(福岡教育大学)

言語文化研究, 2021

2004

人文論究, 2004