「"岡田, 光弘"」の検索結果 | NDLサーチ

検索結果 155 件

タイトルでまとめる

IoTシステムのためのFPGAアクセラレータの研究

デジタル博士論文障害者向け資料あり

岡田, 光弘2020-09-25

国立国会図書館

著者標目岡田, 光弘

法実践(リーガル・コミュニケーション)の解剖学 : ビデオ・エスノグラフィーから臨床法学へ

紙図書

樫田美雄, 北村隆憲, 米田憲市, 岡田光弘, 曽場尾雅宏著晃洋書房2023.2<A121-M132>

国立国会図書館全国の図書館

著者標目樫田, 美雄, 1961- 北村, 隆憲米田, 憲市岡田, 光弘, 1960- 曽場尾, 雅宏

Synthesis of anilinonaphthoquinone-ligated nickel complexes and their application for olefin polymerization

紙博士論文

Okada, Mitsuhiro [著][Okada, Mitsuhiro][2008]<UT51-2008-G491>

国立国会図書館

著者標目岡田, 光弘

論理と感性の分野融合的研究およびその応用

デジタル文書・図像類

岡田, 光弘慶應義塾大学2019学事振興資金研究成果実績報告書

全国の図書館

著者標目岡田, 光弘

充実期を迎えた線形論理の進化とその応用に関する研究

紙図書

岡田光弘, 慶應義塾大学 [著][岡田光弘]2003-2005<Y151-H15300008>

国立国会図書館

著者標目岡田, 光弘慶応義塾大学

直観主義論理を中心とした学際的論理哲学研究

デジタル文書・図像類

岡田, 光弘, 金子, 洋之, 峯島, 宏次2017科学研究費補助金研究成果報告書

全国の図書館

著者標目岡田, 光弘金子, 洋之峯島, 宏次

リスクの誘惑

紙図書

宮坂敬造, 岡田光弘, 坂上貴之, 坂本光, 巽孝之編慶応義塾大学出版会2011.9<EC221-J335>

国立国会図書館全国の図書館

著者標目宮坂, 敬造, 1949- 岡田, 光弘坂上, 貴之, 1953-

Essays in the foundations of logical and phenomenological studies : Centre for Integrated Research on the Mind (Interdisciplinary conference series on reasoning studies ; v. 3)

紙図書

[by] J. Benoist [et al.], Mitsuhiro Okada (editor)Keio University Press2007.12<H35-B7>

国立国会図書館全国の図書館

著者標目Benoist, Jocelyn 岡田, 光弘

Images and reasoning : Paris Meeting, March 2004 (Interdisciplinary conference series on reasoning studies ; v. 1)

紙図書

edited by Pierre Grialou, Giuseppe Longo, Mitsuhiro OkadaKeio University Centre for Integrated Research on the Mind2005.3<SB88-B9>

国立国会図書館全国の図書館

著者標目Grialou, Pierre Longo, Giuseppe 岡田, 光弘

Essays in the foundations of logical and phenomenological studies (Interdisciplinary series on reasoning studies ; v. 3)

紙図書

Mitsuhiro Okada (editor)Keio University Centre for Integrated Research on the Mind2007.3<H35-B6>

国立国会図書館

著者標目岡田, 光弘

医療者教育のビデオ・エスノグラフィー : 若い学生・スタッフのコミュニケーション能力を育む

紙図書

藤崎和彦監修, 樫田美雄, 岡田光弘, 中塚朋子編著晃洋書房2018.3<SC41-L201>

国立国会図書館全国の図書館

著者標目藤崎, 和彦, 1959- 樫田, 美雄, 1961- 岡田, 光弘, 1960- 中塚, 朋子, 1975-

実時間システムに対する論理的仕様・検証言語の国際共同実装計画

紙図書

岡田光弘, 慶應義塾大学 [著][岡田光弘]2001-2003<Y151-H13558031>

国立国会図書館

著者標目岡田, 光弘慶応義塾大学

Reports on interdisciplinary logical reasoning studies technical report 1 (Preliminaries and backgrounds to the BAROCO-research on syllogistic deductive inference)

紙図書

editors: Mitsuhiro Okada, Ryo Takemura, Juko AndoKeio University Centre for Advanced Research on Logic and Sensibility Logic and Informatics Section2008.3<H35-B9>

国立国会図書館全国の図書館

著者標目岡田, 光弘竹村, 亮安藤, 寿康, 1958-

論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として

デジタル文書・図像類

岡田, 光弘2014科学研究費補助金研究成果報告書

全国の図書館

著者標目岡田, 光弘

予測・判断・意思決定の論理と計算

デジタル文書・図像類

岡田, 光弘, 敷島, 千鶴, 金子, 守, 山田, 友幸, 下嶋, 篤2016科学研究費補助金研究成果報告書

全国の図書館

著者標目岡田, 光弘敷島, 千鶴金子, 守山田, 友幸下嶋, 篤

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論

紙図書

岡田, 光弘, 慶應義塾大学2000-2002<Y151-H12480075>

国立国会図書館

著者標目岡田, 光弘慶応義塾大学

診療場面のコミュニケーション : 会話分析からわかること

紙図書

ジョン・ヘリテッジ, ダグラス・メイナード編著, 川島理恵, 樫田美雄, 岡田光弘, 黒嶋智美訳勁草書房2015.9<SC44-L26>

国立国会図書館全国の図書館

著者標目Heritage, John Maynard, Douglas W, 1946- 川島, 理恵樫田, 美雄, 1961- 岡田, 光弘, 1960-

タイプ理論と線形論理のプログラム言語理論への応用

紙図書

岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>

国立国会図書館

著者標目岡田, 光弘

法律相談の相互行為分析

紙図書

樫田美雄(研究代表者), 正込健一朗編神戸市看護大学樫田研究室2018.11

全国の図書館

一般注記研究代表者: 樫田美雄研究分担者: 米田憲市, 北村隆憲研究協力者: 岡田光弘協力実務者: 正込健一朗
著者標目樫田, 美雄正込, 健一朗北村, 隆憲岡田, 光弘

論理学的手法を用いたプログラミング言語の計算モデルの理論

紙図書

岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>

国立国会図書館

著者標目岡田, 光弘

RSS