Jump to main content

yr 〜
yr

Search results 30

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library
  • Author HeadingGalatos, Nikolaos 照井, 一成, 1971-

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
Paper図書
照井一成 著青土社2015.3<MA41-L43>
National Diet LibraryOther Libraries in Japan
  • Author Heading照井, 一成, 1971-

Light logic and polynomial time computation

Light logic and polynomial time computation
Paper博士論文
照井一成 [著][照井一成][2002]<UT51-2002-L486>
National Diet Library
  • Author Heading照井, 一成

証明論・計算論とその周辺

証明論・計算論とその周辺
Paper図書
京都大学数理解析研究所2015.6
Other Libraries in Japan
  • Author Heading京都大学数理解析研究所 照井, 一成

Trace Equivalence and Epistemic Logic to Express Security Properties

Trace Equivalence and Epistemic Logic to Express Security Properties
Digital博士論文障害者向け資料あり
Minami, Kiraku2022-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor長谷川, 真人 牧野, 和久 照井, 一成

A nonstandard invariant of coarse spaces

A nonstandard invariant of coarse spaces
Digital博士論文障害者向け資料あり
Imamura, Takuma2021-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor照井, 一成 長谷川, 真人 河村, 彰星

Generalization of Bounded Linear Logic and its Categorical Semantics

Generalization of Bounded Linear Logic and its Categorical Semantics
Digital博士論文障害者向け資料あり
Fukihara, Yoji2021-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor長谷川, 真人 照井, 一成 河村, 彰星

Large Scale Geometries of Infinite Strings

Large Scale Geometries of Infinite Strings
Digital博士論文障害者向け資料あり
Takisaka, Toru2018-03-26
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor長谷川, 真人 向井, 茂 照井, 一成

A General Framework for Dynamic Epistemic Logic

A General Framework for Dynamic Epistemic Logic
Digital博士論文障害者向け資料あり
Motoura, Shota2017-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor照井, 一成 岡本, 久 長谷川, 真人

Coherence Spaces and Uniform Continuity

Coherence Spaces and Uniform Continuity
Digital博士論文障害者向け資料あり
Matsumoto, Kei2017-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor照井, 一成 岡本, 久 長谷川, 真人

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

Identifying All Preorders on the Subdistribution Monad

Identifying All Preorders on the Subdistribution Monad
Digital博士論文障害者向け資料あり
Sato, Tetsuya2015-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contributor長谷川, 真人 玉川, 安騎男 照井, 一成

現代思想

現代思想
PaperDigital雑誌雑誌タイトル
青土社<Z9-368>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

構造の層・Heyting値構造とŁośの定理の一般化

構造の層・Heyting値構造とŁośの定理の一般化
Digital博士論文
荒武, 永史Kyoto University2021-07-26
Available onlineOther Libraries in Japan
  • Contributor照井, 一成 牧野, 和久 長谷川, 真人

数学

数学
Paper雑誌雑誌タイトル
日本数学会 編日本数学会[1947]-<Z15-25>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

科学

科学
PaperDigital雑誌雑誌タイトル
岩波書店1931-<Z14-72>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

科学哲学 : journal of the Philosophy of Science Society, Japan

科学哲学 : journal of the Philosophy of Science Society, Japan
Paper雑誌雑誌タイトル
日本科学哲学会 編日本科学哲学会1968-<Z14-479>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

線型関数型プログラミング言語に対するGoI解釈の修正とその適切性

線型関数型プログラミング言語に対するGoI解釈の修正とその適切性
Digital博士論文
Hoshino, Naohiko京都大学 (Kyoto University)2011-03-23
Available onlineOther Libraries in Japan
  • Contributor長谷川, 真人 中島, 啓 照井, 一成

独立性定理における無限個の互いに1ランダムな列への拡張

独立性定理における無限個の互いに1ランダムな列への拡張
Digital博士論文
Miyabe, Kenshi京都大学 (Kyoto University)2010-03-23
Available onlineOther Libraries in Japan
  • Contributor長谷川, 真人 向井, 茂 照井, 一成
RSS