Top > Back > 学会発表 の検索結果 20 件中 1‐20 件目
| Reverse mathematical derivability and Weihrauch reducibility between existence statements |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] 17th International Conference on Computability, Complexity and Randomness |
| [ 発表日付 ] 2024年3月11日 ～ 3月15日 |
| 数学証明における帰結関係を表す接続表現の予測 |
| [ 共同発表者名 ] 太田 宇宙，松崎 拓也，藤原 誠 |
| [ 学会・会議名 ] 言語処理学会第30回年次大会 |
| [ 発表日付 ] 2024年3月11日 ～ 3月15日 |
| Autoformalization に向けた自然言語証明構造の形式化 |
| [ 共同発表者名 ] 服部 清志，松崎 拓也，藤原 誠 |
| [ 学会・会議名 ] 言語処理学会第30回年次大会 |
| [ 発表日付 ] 2024年3月11日 ～ 3月15日 |
| On the hierarchy of linearity axioms |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] 6th Asian Workshop on Philosophical Logic |
| [ 発表日付 ] 2024年3月4日 ～ 3月6日 |
| Hierarchy of Sigma_n-fragments of logical principles over HA and hierarchy of intermediate propositional logics |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations |
| [ 発表日付 ] 2024年1月8日 ～ 1月12日 |
| Prenex normalization and the hierarchical classification of formulas |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Oberwolfach Workshop ID 2346: Mathematical Logic: Proof Theory, Constructive Mathematics |
| [ 発表日付 ] 2023年11月12日 ～ 11月17日 |
| 数学問題テキスト中の数式の型の予測 |
| [ 共同発表者名 ] 野口 輝，塔村 俊介，吉田 琉夏，松崎 拓也，藤原 誠 |
| [ 学会・会議名 ] 人工知能学会全国大会（第37回） |
| [ 発表日付 ] 2023年6月6日 ～ 6月9日 |
| 半直観主義算術の階層と保存拡大定理 |
| [ 共同発表者名 ] 藤原誠 |
| [ 学会・会議名 ] 日本数学会2023年度年会 数学基礎論および歴史分科会 |
| [ 発表日付 ] 2023年3月15日 ～ 3月18日 |
| Proof interpretations on finite-type arithmetic and uniform provability in reverse mathematics |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] International Conference on Applied Proof Theory 2022 |
| [ 発表日付 ] 2022年8月29日 ～ 9月2日 |
| An extension of the equivalence between Brouwer’s fan theorem and weak Koenig’s Lemma with a uniqueness hypothesis |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Computability in Europe 2022 |
| [ 発表日付 ] 2022年7月11日 ～ 7月15日 |
| Conservation theorems on semi-classical arithmetic |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Dagstuhl Seminar 21472: Geometric Logic, Constructivisation, and Automated Theorem Proving |
| [ 発表日付 ] 2021年11月21日 ～ 11月26日 |
| Conservation theorems on semi-classical arithmetic |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] New Frontiers in Proofs and Computation |
| [ 発表日付 ] 2021年9月12日 ～ 9月17日 |
| Decomposition of König's lemma and its unique variants in constructive reverse mathematics |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Fourth Workshop on Mathematical Logic and its Applications |
| [ 発表日付 ] 2021年3月22日 ～ 3月24日 |
| The decidable fan theorem in constructive and classical reverse mathematics |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Oberwolfach Workshop ID 2046: Mathematical Logic: Proof Theory, Constructive Mathematics |
| [ 発表日付 ] 2020年11月8日 ～ 11月14日 |
| Weihrauch and constructive reducibility between existence statements |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Seventeenth International Conference on Computability and Complexity in Analysis |
| [ 発表日付 ] 2020年9月9日 ～ 9月11日 |
| Parallelizations in Weihrauch reducibility and constructive reverse mathematics |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Computability in Europe 2020: Beyond the horizon of computability |
| [ 発表日付 ] 2020年6月29日 ～ 7月2日 |
| Bar induction and restricted classical logic |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] 26th Workshop on Logic, Language, Information and Computation |
| [ 発表日付 ] 2019年7月2日 ～ 7月5日 |
| A Logical Characterization of the Continuous Bar Induction |
| [ 共同発表者名 ] Makoto Fujiwara;Tatsuji Kawai |
| [ 学会・会議名 ] The 4th Asian Workshop on Philosophical Logic |
| [ 発表日付 ] 2018年10月20日 ～ 10月21日 |
| Intuitionistic provability versus uniform provability in RCA |
| [ 共同発表者名 ] Makoto Fujiwara |
| [ 学会・会議名 ] Computability in Europe 2015: Evolving Computability |
| [ 発表日付 ] 2015年6月29日 ～ 7月3日 |
| A note on the sequential version of Π12 statements |
| [ 共同発表者名 ] Makoto Fujiwara; Keita Yokoyama |
| [ 学会・会議名 ] Computability in Europe 2013: The Nature of Computation |
| [ 発表日付 ] 2013年7月1日 ～ 7月5日 |
Previous
|
1
|
Next
