Jump to main content

yr 〜
yr

Search results 29

帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究

帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究
Digital文書・図像類
長谷部 浩二2022
Available onlineOther Libraries in Japan
  • Author Heading長谷部 浩二

A logic for authentication in network communications

A logic for authentication in network communications
Paper博士論文
Koji Hasebe [著][Koji Hasebe][2006]<UT51-2006-S521>
National Diet Library

知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究

知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究
Digital文書・図像類
長谷部 浩二2018
Available onlineOther Libraries in Japan
  • Author Heading長谷部 浩二

論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築

論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築
Digital文書・図像類
長谷部 浩二2014
Available onlineOther Libraries in Japan
  • Author Heading長谷部 浩二

論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築

論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築
Digital文書・図像類
長谷部 浩二2012
Available onlineOther Libraries in Japan
  • Author Heading長谷部 浩二

哲學

哲學
Paper雑誌雑誌タイトル
三田哲学会編集委員会 編三田哲学会1926-<Z9-205>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ロボット学会誌

日本ロボット学会誌
Paper雑誌雑誌タイトル
日本ロボット学会 編日本ロボット学会1983-<Z16-1325>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

信頼性 : 日本信頼性学会誌

信頼性 : 日本信頼性学会誌
Paper雑誌雑誌タイトル
日本信頼性学会1979-<Z14-2023>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

応用数理

応用数理
Paper雑誌雑誌タイトル
日本応用数理学会 編日本応用数理学会1991-<Z15-726>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料雑誌タイトル
情報処理学会2009-c2013<YH247-911>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

人間の知的推論についての論理学的及び言語学的手法による分析

人間の知的推論についての論理学的及び言語学的手法による分析
Paper文書・図像類
岡田, 光弘, 西山, 佑司, 北原, 久嗣, 長谷部, 浩二, Benois, Jocelyn, Girard, Jean Yves, Longo, Giuseppe慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局心の解明に向けての統合的方法論構築 : 平成14年度成果報告書p.1-5
Other Libraries in Japan

Iterative Information Update and Stability of Strategies

Iterative Information Update and Stability of Strategies
Digital文書・図像類
増澤,拓也 / 長谷部,浩二
Other Libraries in Japan

Reached to the end of result.

RSS