SEARCH
Search Details
KURATA Toshihiko
Faculty of Business Administration Department of Markets and Management
Professor
Researchmap URL
https://researchmap.jp/read0192167
Research activity information
■ Paper
- A remark on latttice models of second-order intuitionistic propositional logic
Toshihiko Kurata and Ken-etsu Fujita
京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation, 2022 - A general form on the logic puzzles of Boolos
Ken-etsu Fujita and Toshihiko Kurata
京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science, 2022 - Neighbourhood and lattice models of second-order intuitionistic propositional logic
Fundamenta Informaticae, 2019, [Reviewed] - Distributive concrete domains and sheaves on DI-domains
倉田俊彦
京都大学数理解析研究所講究録, 2018 - On Sheaves Categorically Equivalent to Distributive Concrete Domains
倉田俊彦
京都大学数理解析研究所講究録, 2015 - Sheaf-theoretical representation of concrete domains
倉田俊彦
京都大学数理解析研究所講究録, 2013 - 完備半順序集合の層に関する双極限の構成
京都大学数理解析研究所講究録, Apr. 2009 - Lambda-algebras by inverse limit construction on sheaves of dcpos
Sep. 2008 - A fixed point construction for continuous functors on sheaves of dcpos
Sep. 2008 - Some aspects of extensionality of arrows in cartesian closed category
京都大学数理解析研究所講究録, Feb. 2007 - Denotational semantics excluding weak-extensionality in simple types
京都大学数理解析研究所講究録, 2005 - Intersection and singleton type assignment characterizing finite Bohm-trees
T Kurata
INFORMATION AND COMPUTATION, Oct. 2002, [Reviewed] - Completeness of intersection and union type assignment systems for call-by-value lambda-models
H Ishihara; T Kurata
THEORETICAL COMPUTER SCIENCE, Feb. 2002, [Reviewed] - Subtype relations yielding filter lambda-models
Proceedings of the Second Fuji International Workshop on Functional and Logic Programming, 1997, [Reviewed] - Subtype Relations Yielding Filter Lambda-Models
Department of Mathematical and Computing Sciences Research Report Series, Dec. 1995 - Decidable Properties of Intersection Type Systems
Masako Takahashi
Department of Mathematical and Computing Sciences Research Report Series, Apr. 1995 - Decidable properties of intersection type systems
Masako Takahashi
Lecture Notes in Computer Science, 1995, [Reviewed] - A study on inhabitation of intersection types
Masako Takahashi
Department of Mathematical and Computing Sciences Research Reports Series, 1994
- Proof theoretical study of the structure of logic and computation
Editor
京都大学数理解析研究所, Apr. 2009, Not reviewed
- Boolos' "The Hardest Logic Puzzle Ever" and coinduction
藤田憲悦
京都大学数理解析研究所RIMS共同研究（公開型）「群・環・言語と計算機科学の周辺領域」, Feb. 2023 - Spectral Spaces for Models of Intuitionistic Logic
倉田俊彦
日本数学会2022年度年会, Mar. 2022 - A general form on the logic puzzle of Boolos
藤田憲悦
京都大学数理解析研究所RIMS研究集会（公開型）「論理・代数系・言語と計算機科学の周辺領域」, Feb. 2022 - Spectral Spaces for Models of Intuitionistic Logic
倉田俊彦
京都大学数理解析研究所RIMS研究集会（公開型）「証明論と計算の理論と応用」, Dec. 2021 - On formalization of logic puzzles a la George Boolos
藤田憲悦
日本数学会日本数学会2021年度秋季総合分科会, Sep. 2021 - Milner による PCF モデルの紹介
倉田俊彦
ラムダ計算と論理の早春のセミナー, 22 Mar. 2016 - PCF における Bohm 変換と observational equivalence の特徴付け
倉田俊彦
第50回MLG数理論理学研究集会, 10 Jan. 2016 - PCF における Bohm 変換と observational equivalence の特徴付け
倉田俊彦
2015年度証明論研究集会／記号論理と情報科学研究集会, 16 Dec. 2015 - On definability of compact innocent strategies for dialog games
倉田俊彦
ラムダ計算と論理の晩夏セミナー, 25 Sep. 2015 - PCFPの標準モデルに関するAdequacy定理の解説
ラムダ計算と論理の早春のセミナー, 18 Mar. 2015 - On sheaves categorically equivalent to distributive concrete domains
RIMS研究集会：証明論・計算論とその周辺, 26 Dec. 2014 - 分配具象領域と領域層の圏論的同等性に関する考察
日本数学会秋季総合分科会, 28 Sep. 2014 - PCFの標準モデルに関するfull abstraction問題の解説
ラムダ計算と論理の晩夏セミナー, 22 Sep. 2014 - 高階逐次計算と層の逆像・準同型
ラムダ計算と論理の早春のセミナー, 10 Mar. 2014 - Sheaf-theoretical representation of concrete domains
日本数学会秋季総合分科会, 26 Sep. 2013 - Grzegorczyk階層とloopプログラムに関する考察
高知ロジックセミナー, 23 Sep. 2013 - Grzegorczyk階層とloopプログラムに関する考察
ラムダ計算と論理の晩夏セミナー, 16 Sep. 2013 - Full Abstraction Problemとゲーム意味論
ラムダ計算と論理の早春のセミナー, 16 Mar. 2013 - Sheaf-theoretical representation of concrete domains
RIMS研究集会：証明論と複雑性, 12 Sep. 2012 - An introduction to Ω-sets and sheaves
ラムダ計算と論理の早春セミナー, 21 Mar. 2012 - On duality between Kripke models and lattice theoretical models of second order intuitionistic propositional logic
藤田憲悦
第46回MLG数理論理学研究集会, 25 Oct. 2011 - A lattice theoretical description of Kripke models by Sobolev
日本数学会秋季総合分科会, 29 Sep. 2011 - On duality between Alexandrov spaces and algebraic completely distributive lattices
日本数学会秋季総合分科会, 29 Sep. 2011 - On duality between Kripke models and lattice theoretical models of second order intuitionistic propositional logic
ラムダ計算と論理の晩夏セミナー, 01 Sep. 2011 - A topological generalization of Kripke models by Sobolev
ラムダ計算と論理の晩夏セミナー, 29 Aug. 2011 - On duality between Kripke models and lattice theoretical models of second order intuitionistic propositional logic
Ken-etsu Fujita
2nd International Conference on Order, Algebra, and Logics, 09 Jun. 2011 - On the models of 2nd order intuitionistic propositional logic
藤田憲悦
日本数学会年会, 21 Mar. 2011 - ２階直観主義命題論理の代数的モデルについて
藤田憲悦
RIMS共同研究（形式体系と計算理論）, 15 Sep. 2010 - On continuity and sequentiality of lambda-calculus
ラムダ計算と論理の早春セミナー, 17 Mar. 2009 - Sheaf semantics and higher-order sequentiality
日本数学会年会（分科会特別講演）, Mar. 2009 - Lambda-algebras by inverse limit construction on sheaves of dcpos
RIMS共同研究（証明論と論理・計算の構造）, 08 Sep. 2008 - A fixed point construction for continuous functors on sheaves of dcpos
日本数学会秋季総合分科会, Sep. 2008 - Dcpoの層について
証明論研究集会, 03 Dec. 2007 - A preliminary study on domains excluding weak-extensionality
代数学と計算, Oct. 2003 - Combinatory representation of λ-calculus
証明論研究集会, 19 Dec. 2001 - Combinatory representation of λ-calculus
第４回代数学と計算研究集会, 05 Nov. 2001 - λ定義可能関数の値域に関する考察
第３回代数学と計算研究集会, Oct. 1999 - Another theory of combinators for β-equality
13th term rewriting meeting, 31 Aug. 1998 - A type theoretical view of Bohm-trees
Third international conference on typed lambda calculi and applications, Mar. 1997 - Decidable properties of intersection type systems
Masako Takahashi
Second international conference on typed lambda calculi and applications, Apr. 1995
