著者

安藤 寿康 岡田 光弘 長谷川 寿一 大野 裕 平石 界 岡田 光弘 長谷川 寿一 大野 裕 平石 界

出版者

慶應義塾大学

雑誌

基盤研究(B)

巻号頁・発行日

2006

---

800組の青年・成人期の双生児を対象とした行動遺伝学的研究から、認知能力、パーソナリティなどの遺伝・環境構造の解明を行った。一般知能の遺伝的実在性、社会的適応に及ぼす内的環境適応の過程、パーソナリティの普遍的遺伝構造モデルの提案、自尊心感情の縦断的変化などが成果としてなされた。また双生児データのデータベース化、webによる双生児調査フレームワークの確立もなされた。

著者

岡田 光弘

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.53, no.2, pp.1, 2021-03-31 (Released:2021-03-31)

被引用文献数

1

著者

岡田 光弘

出版者

一般社団法人 人工知能学会

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.17, no.2, pp.224-231, 2002-03-01 (Released:2020-09-29)

著者

岡田 光弘

出版者

成城大学社会イノベーション学会

雑誌

成城大学社会イノベーション研究 (ISSN:18806414)

巻号頁・発行日

vol.12, no.2, pp.35-55, 2017-03

著者

岡田 光弘

出版者

成城大学大学院文学研究科

雑誌

コミュニケーション紀要 = Seijo communication studies (ISSN:02887843)

巻号頁・発行日

vol.32, pp.1-14, 2021-03

著者

岡田 光弘 安藤 寿康 大野 裕

出版者

慶應義塾大学

雑誌

萌芽研究

巻号頁・発行日

2006

---

1)昨年度に引き続き線形論理や種々の新しい論理学理論の立場から、伝統的な認知科学的理論推論モデルや理論哲学的論理推論モデルの批判的分析や改訂を行った。特に、メンタルモデル理論とメンタルロジック理論に関する認知心理学の古典的論争やシンタクスとセマンティクスに関する論理哲学、情報科学等における二元論を現代論理学的観点から見直した。2)これまでは比較的少数の被験者調査を行うのが常であったが、統計的手法による実証的なデータ解析による大規模調査の方法論の研究を行った。「Baroco論理推論課題集」と呼ばれる演繹推論標準課題集を本申請グループが開発してきたが、これをさらに改良した。この課題集を用いて通常のIQ課題の関連性や、図形的表現による論理推論と言語的理論推論の(パフォーマンス)比較、抽象的推論と内容的推論の比較、信念相反的推論や領域依存的推論、論証構成と反例検索などに関わるデータの分析を行った。白血球中のRNAの転写量の差を調べるという方法論を導入することによって認知能力の関連遺伝子の所在とその効果量について調査する方法論を開発した。

著者

岡田 光弘

出版者

一般社団法人 日本体育学会

雑誌

日本体育学会大会号 第46回(1995) (ISSN:24330183)

巻号頁・発行日

pp.198, 1995-09-10 (Released:2017-08-25)

著者

菊池 誠 岡本 賢吾 岡田 光弘 三好 博之

出版者

神戸大学

雑誌

基盤研究(B)

巻号頁・発行日

2017-04-01

---

現代の数学の哲学には (1) 数学の算術および集合論への還元,(2) 一階論理上での集合論の公理化,(3) 一階論理による証明概念の形式化,(4) チューリング機械による計算可能性の特徴付けという[四つの原理]がある.本研究はこの[四つの原理]と現代の[標準的数学観]の関係,[四つの原理]とそれらの相互の関係をに検討することで,数学の哲学の新たな展開と,計算・推論・情報の概念の哲学的解明を目指すものである.2018年度中には以下の活動を行った.(1) 2018年9月3日から9月6日まで神戸大学六甲台第二キャンパス内工学研究科において「数学基礎論サマースクール(テーマ:証明論,特に算術の無矛盾性証明)」を開催した.(2) 2018年9月18日から20日まで神戸大学瀧川記念会館において「Symposium on Advances in Mathematical Logic 2018(竹内外史追悼シンポジウム)」を会した.(3) 日本科学哲学会2018年度大会においてワークショップ「計算の哲学:推論および物理的現象との関係の再考に向けて」を開催した.(4) 共立数学文献を読む会において講演「幾何学の基礎に関するフレーゲ・ヒルベルト論争について」を菊池誠が行なった.これらの活動の結果として,以下の成果を得た.(1) 竹内の証明論と集合論の哲学の特徴について分析を行い20世紀の数学基礎論についての議論の枠組みの詳細を定めた.(2) フレーゲ以前の論理学,フレーゲ,ヒルベルトの量化と含意についての考え方の共通点と相違点の分析の重要性を明らかにした..(4) 量子論理の基本的な性質についての議論を進めた.(5) 不完全性定理と有限の立場についての分析を行なった.

著者

岡田 光弘 佐藤 拓杜 稲田 圭介 谷田部 祐介 伊藤 浩朗 小味 弘典

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.59, no.7, pp.1425-1434, 2018-07-15

---

人間の視野における解像度は視野中心で最も高く,周辺部ほど低下する.この視覚特性に基づき,視野周辺の映像の解像度を削減するFoveated Imaging処理(FI処理)と呼ばれる画像処理技術がある.本論文では,フルHD映像を対象に主観的な解像感を維持したまま伝送ビットレートを削減するために,エンコード前の映像にFI処理を適用した映像圧縮伝送システムを構築する.さらに,このシステムの有効性を評価するために,Degradation Category Rating(DCR)法と呼ばれる主観画質の評価手法を用いて,基準映像に対するFI処理を適用した映像の画質劣化を5段階で評価した.その結果,Degradation Mean Opinion Score(DMOS)の平均値が4.25と画質劣化が気にならないレベルの画質を維持しつつ,9.2~44.7%の伝送ビットレートの削減効果を確認できた.

著者

岡田 光弘

出版者

「現代社会理論研究」編集委員会事務局

雑誌

現代社会理論研究 (ISSN:09197710)

巻号頁・発行日

no.6, pp.165-180, 1996

著者

岡田 光弘

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.18, no.2, pp.59-65, 1987

---

論理記号の意味を論理記号導入規則と呼ばれる推論規則に基づいて与えて論理的意味論を展開する研究が論理学者達によっていろいろな観点からなされてきた。例えばGentzen ([4] II.§5) による説明はその最初のものであろう。Dummett, PrawitzおよびMartin-Löf等による最近の一連の論理的意味論の運動もこのような流れの上にある。また, LorenzenおよびLorenzの学派によるoperational logicおよびdialogical logicもこのような意味論の変形と考えられる。Gentzenはまた, そのような意味論を彼の与えた数論の整合性証明の哲学的意義の説明に際して展開した。Dummettの意図はそのような意味論に基づいて直観主義推論の哲学的基礎付けを行うことにあった 。これらの哲学的立場の共通する特徴はFrege-Russellのパラドックスの出現以来生じてきた論理学, 数学基礎論における哲学論争を哲学的意味論の論争として捉え直すという前提に立っている点にある。伝統的な捉え方に従うと, QuineやPutnamらが指摘するように, 数学基礎論における論理主義, 直観主義, 形式主義の論争は中世の存在論哲学の普遍論争における実念論, 概念論, 唯名論の間の論争に対応すると考えられてきた。ここで普遍論争とは普遍観念 (または一般観念) の存在論的位置付けに関する論争のことであり, 実念論, 概念論, 唯名論は各々一般観念がプラトンのイデアのような形で実在するという立場, 我々の精神において構成されるという立場, 単に記号として使用しているだけでありその存在を前提する必要がないとする立場, に対応している。数学や論理学で使用される観念についての論争もこのような存在論的なレベルの論争と解釈されてきたわけである。これに対して先に挙げた人々の共通した前提の一つはこの論争を存在論的枠組の中でではなく, 意味論の問題として, つまり言語哲学的レベルの枠組みで捉えようとする傾向があることである。つまり, 論理主義, 直観主義, 形式主義等の立場の違いを同じ数学言語, 論理言語に対して採用される意味論の違いによって説明しようとするわけである。例えば古典論理の立場では正しいとされる「<I>A</I>または非<I>A</I>」という形の排中律は直観主義論理の立場では一般には正しいと見なされないが, この立場の違いもそれぞれが別な意味論体系を採用していて, この別な意味論体系に従って, 「または」という論理結合詞に対して違った意味解釈を与える, ということによるとみなされる。<BR>以下において我々はこのような枠組みの中で「論理記号導入規則による意味論」と呼ばれる意味論の採用がいかに我々の論理的数学的言語行為に合ったものであるかをPrawitz-Dummettの議論を踏まえながら述べ (§1), 次にこの意味論の中核部分を最も基本的な形で展開する (§2) 。最後にこの意味論による直観主義論理推論の基礎付けの可能性およびそこに含まれる問題点について検討する (§3) 。

著者

樫田 美雄 岡田 光弘 五十嵐 素子 宮崎 彩子 出口 寛文 真鍋 陸太郎 藤崎 和彦 北村 隆憲 高山 智子 太田 能 玉置 俊晃 寺嶋 吉保 阿部 智恵子 島田 昭仁 小泉 秀樹

出版者

徳島大学

雑誌

大学教育研究ジャーナル (ISSN:18811256)

巻号頁・発行日

vol.5, pp.93-104, 2008-03

---

ビデオエスノグラフィーは、当事者的知識を十分に摂取しながら行うビデオ分析であり、我々はこの方法で、高等教育改革の現場を研究した。生涯学習社会の到来を受けて、日本の高等教育は現在第2 次世界大戦直後以来の改革期にある。すなわち、「知識」より「生涯学習能力」の獲得を志向した、自発性を尊重するような様々な取り組みがなされ始めている。この高等教育の現場に対し、ワークプレース研究を行った。B大学工学部都市工学演習α班を分析対象とした調査の結果、①演習の課題解釈には「従来の指標の相対化の要求の程度」を巡って2つの解釈があり得たこと、②班内にはその2種類の解釈に対応した葛藤・対立的相互行為が存在したこと、③にもかかわらず、班内葛藤を生きる当事者がともに専門性(「都市工学」)を志向していたこと、④したがって、課題理解のいかんにかかわらず、班活動の全体が「都市工学演習」と呼び得るものになっていたこと、⑤その一方で、最終審査会場(ジュリー)ではこの2重性が十分レリバントなものとして浮かび上がって来ていなかったこと、これらのことがわかった。諸結果を総合すると、学生の自主的活動を尊重するタイプの、新しい学習方法の吟味・評価のためには、学生によるその方法の実践状況の分析が有意義であるだろうこと、また、それは、場合によっては教員の評価のパラダイムを変える力を持つだろうことなどが予測された。なお、本報告は、文科省科学研究費補助金「高等教育改革のコミュニケーション分析-現場における文化変容の質的検討-」(基盤研究(B)、 課題番号 18330105、研究代表者:樫田美雄)ほかによる研究成果の一部である。

著者

岡田 光弘

出版者

日本科学哲学会

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.46, no.1, pp.82-84, 2012 (Released:2016-01-13)

著者

岡田 光弘

出版者

日本社会学会

雑誌

社会学評論 (ISSN:00215414)

巻号頁・発行日

vol.58, no.4, pp.629-630, 2008-03-31 (Released:2010-04-01)

著者

岡田 光弘

出版者

成城大学

雑誌

コミュニケーション紀要 (ISSN:02887843)

巻号頁・発行日

vol.26, pp.31-70, 2015-03

著者

岡田 光弘

出版者

立教大学

雑誌

応用社会学研究 (ISSN:03876756)

巻号頁・発行日

vol.47, pp.113-127, 2005-03-24

著者

岡田 光弘 小林 直樹 照井 一成 田村 直之

出版者

慶應義塾大学

雑誌

基盤研究(B)

巻号頁・発行日

2003

---

次の3点を中心に研究を進めた。1.証明論と意味論の統合的見方について研究を進めた。カット消去定理等の証明論の基本定理の成立条件がPhase semanticsによる意味論的分析により明らかになることを示した。又、Simple logic等の線形論理の基礎理論に対して、証明論と意味論の統合を進めた。さらに、直観主義論理Phase semanticsと古典論理Phase semanticsとの密接な関係を明らかにした。Phase semanticsの成果に基づいてカット消去定理の意味論的条件の研究を進めた。2.Reduction Paradigmによる計算モデルとProof-Search Paradigmによる計算モデルを統一的に分析できる論理的枠組の確立に向けた研究を進めた。ゲーム論的意味論等の観点からの分析も加えた。(岡田・Girard等フランスグループとの共同研究)これまでのReduction Paradigm(関数型言語の論理計算モデル)とProof-Search Paradigm(論理型言語や証明構成の計算モデル)の内的な統合を可能にするLudics等の新たな論理体系理論の分析をGirardグループらと共同で行なった。3.線形論理的概念がプログラミング言語理論やソフトウェア形式仕様・検証理論、計算量理論等にどのように応用され得るかのケーススタディーを行なった。例えば昨年に引き続き、ダイナミック実時間システムのシステマティックな設計・検証や認証プロトコル安全性証明等を例にとり、線形論理的観点や手法の応用可能性を示した。この目的でフランス及び米国共同研究グループとの共同研究を行なうとともに、計3回の成果報告会を日仏共同で行った。

著者

近藤 洋子 岡田 光弘

出版者

一般社団法人 日本体育学会

雑誌

日本体育学会大会号

巻号頁・発行日

vol.40, 1989

著者

岡田 光弘

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.37, no.4, pp.327-332, 1996-04-15

被引用文献数

4

著者

峯島 宏次 岡田 光弘 佐藤 有理 竹村 亮

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.24, 2010

---

近年、論理学や人工知能、認知科学など様々な分野で、図形やグラフ表現に基づく推論の研究が進められている。特にオイラー図は、論理推論の補助手段としてインフォーマルに用いられてきたが、1990年代から現代論理学による体系的研究が始められた。本研究ではオイラー図に対する自然な操作を自然演繹を基に形式化し、その図形推論体系の特徴についてヴェン図との比較も含め、論理学及び認知科学の観点から議論する。