本文に飛ぶ

年 〜
年

検索結果 156 件

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

IoTシステムのためのFPGAアクセラレータの研究
デジタル博士論文障害者向け資料あり
岡田, 光弘2020-09-25
国立国会図書館

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

法実践(リーガル・コミュニケーション)の解剖学 : ビデオ・エスノグラフィーから臨床法学へ
紙図書
樫田美雄, 北村隆憲, 米田憲市, 岡田光弘, 曽場尾雅宏 著晃洋書房2023.2<A121-M132>
国立国会図書館全国の図書館
  • 目次・記事...世界に入っていくということ　（岡田 光弘） ――「先方さん」という呼称......ラフィーによる法現象の研究　（岡田 光弘） ――「法律相談」という方法による達成 2　不朽だが、あり...

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

Synthesis of anilinonaphthoquinone-ligated nickel complexes and their application for olefin polymerization
紙博士論文
Okada, Mitsuhiro [著][Okada, Mitsuhiro][2008]<UT51-2008-G491>
国立国会図書館

「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開

「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
デジタル規格・テクニカルリポート類
岡田, 光弘, 秋吉, 亮太, 金子, 洋之, 峯島, 宏次2021科学研究費補助金研究成果報告書
全国の図書館

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

論理と感性の分野融合的研究およびその応用
デジタル規格・テクニカルリポート類
岡田, 光弘慶應義塾大学2019学事振興資金研究成果実績報告書
全国の図書館

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

充実期を迎えた線形論理の進化とその応用に関する研究
紙図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2003-2005<Y151-H15300008>
国立国会図書館

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

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>
国立国会図書館全国の図書館

リスクの誘惑

リスクの誘惑
紙図書
宮坂敬造, 岡田光弘, 坂上貴之, 坂本光, 巽孝之 編慶応義塾大学出版会2011.9<EC221-J335>
国立国会図書館全国の図書館

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

直観主義論理を中心とした学際的論理哲学研究
デジタル規格・テクニカルリポート類
岡田, 光弘, 金子, 洋之, 峯島, 宏次2017科学研究費補助金研究成果報告書
全国の図書館

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

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>
国立国会図書館

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

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>
国立国会図書館全国の図書館

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

医療者教育のビデオ・エスノグラフィー : 若い学生・スタッフのコミュニケーション能力を育む
紙図書
藤崎和彦 監修, 樫田美雄, 岡田光弘, 中塚朋子 編著晃洋書房2018.3<SC41-L201>
国立国会図書館全国の図書館

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

実時間システムに対する論理的仕様・検証言語の国際共同実装計画
紙図書
岡田光弘, 慶應義塾大学 [著][岡田光弘]2001-2003<Y151-H13558031>
国立国会図書館

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

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>
国立国会図書館全国の図書館

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

論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として
デジタル規格・テクニカルリポート類
岡田, 光弘2014科学研究費補助金研究成果報告書
全国の図書館

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

予測・判断・意思決定の論理と計算
デジタル規格・テクニカルリポート類
岡田, 光弘, 敷島, 千鶴, 金子, 守, 山田, 友幸, 下嶋, 篤2016科学研究費補助金研究成果報告書
全国の図書館

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

線形論理を用いた並行計算システム及び実時間システムの形式仕様・形式検証の理論
紙図書
岡田, 光弘, 慶應義塾大学2000-2002<Y151-H12480075>
国立国会図書館

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

診療場面のコミュニケーション : 会話分析からわかること
紙図書
ジョン・ヘリテッジ, ダグラス・メイナード 編著, 川島理恵, 樫田美雄, 岡田光弘, 黒嶋智美 訳勁草書房2015.9<SC44-L26>
国立国会図書館全国の図書館

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

タイプ理論と線形論理のプログラム言語理論への応用
紙図書
岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>
国立国会図書館

法律相談の相互行為分析

法律相談の相互行為分析
紙図書
樫田美雄(研究代表者), 正込健一朗編神戸市看護大学樫田研究室2018.11
全国の図書館
  • 一般注記研究代表者: 樫田美雄 研究分担者: 米田 憲市, 北村 隆憲 研究協力者: 岡田 光弘 協力実務者: 正込 健一朗
RSS