Makoto Fujiwara

27 papers B 1C 5Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the hierarchy of linearity axioms.
Arch. Math. Log.
Makoto Fujiwara
2025 J jnl
Choice principles characterizing the difference between König's lemma and weak König's lemma in constructive reverse mathematics.
Comput.
Makoto Fujiwara, Takako Nemoto
2025 J jnl
Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure.
CoRR
Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara
2024 J jnl
Prenex normalization and the hierarchical classification of formulas.
Arch. Math. Log.
Makoto Fujiwara, Taishi Kurahashi
2023 J jnl
Conservation theorems on Semi-Classical Arithmetic.
J. Symb. Log.
Makoto Fujiwara, Taishi Kurahashi
2023 J jnl
Extended Frames and Separations of Logical Principles.
Bull. Symb. Log.
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
2023 — conf
Highly Scalable Metal Induced Lateral Crystallization (MILC) Techniques for Vertical Si Channel in Ultra-High (> 300 Layers) 3D Flash Memory.
VLSI Technology and Circuits
Noritaka Ishihara, Yusuke Shimada, Takamitsu Ochi, Satoshi Seto, Haruki Matsuo, Hiroki Yamashita, Sho Morita, Masafumi Ukishima, K. Uejima, Yusuke Arayashiki, Suzuka Kajiwara, Akiyuki Murayama, Katsuya Nishiyama, Kikuko Sugimae, Shinji Mori, Yuta Saito, Takeshi Shundo, Aki Maeda, Hiroyuki Kamiya, Yasuhiro Uchiyama, Makoto Fujiwara, Fumiki Aiso, Katsuyuki Sekine, Norio Ohtani
2022 C conf
An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis.
CiE
Makoto Fujiwara
2022 J jnl
Refining the arithmetical hierarchy of classical principles.
Math. Log. Q.
Makoto Fujiwara, Taishi Kurahashi
2022 J jnl
Δ
Arch. Math. Log.
Makoto Fujiwara
2021 J jnl
Characterising Brouwer's continuity by bar recursion on moduli of continuity.
Arch. Math. Log.
Makoto Fujiwara, Tatsuji Kawai
2021 J jnl
Decidable fan theorem and uniform continuity theorem with continuous moduli.
Math. Log. Q.
Makoto Fujiwara, Tatsuji Kawai
2021 J jnl
König's lemma, weak König's lemma, and the decidable fan theorem.
Math. Log. Q.
Makoto Fujiwara
2021 J jnl
Prenex Normal Form theorems in Semi-Classical Arithmetic.
J. Symb. Log.
Makoto Fujiwara, Taishi Kurahashi
2021 J jnl
Weihrauch and constructive reducibility between existence statements.
Comput.
Makoto Fujiwara
2020 C conf
Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics.
CiE
Makoto Fujiwara
2019 C conf
Bar Induction and Restricted Classical Logic.
WoLLIC
Makoto Fujiwara
2019 J jnl
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.
Ann. Pure Appl. Log.
Makoto Fujiwara, Tatsuji Kawai
2018 J jnl
Interrelation between Weak Fragments of double Negation Shift and Related Principles.
J. Symb. Log.
Makoto Fujiwara, Ulrich Kohlenbach
2016 — conf
A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.
COMPSAC Workshops
Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe
2015 J jnl
Classical provability of uniform versions and intuitionistic provability.
Math. Log. Q.
Makoto Fujiwara, Ulrich Kohlenbach
2015 C conf
Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA.
CiE
Makoto Fujiwara
2015 J jnl
Some principles weaker than Markov's principle.
Arch. Math. Log.
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
2014 J jnl
On the strength of marriage theorems and uniformity.
Math. Log. Q.
Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara
2013 C conf
A Note on the Sequential Version of Statements.
CiE
Makoto Fujiwara, Keita Yokoyama
2007 B conf
Consideration on addressing in ubiquitous space using fuzzy measure.
SMC
Tomoyuki Araki, Makoto Fujiwara, Yuichi Kohira
1985 J jnl
Three-dimensional reconstruction of echocardiograms based on orthogonal sections.
Pattern Recognit.
Shinichi Tamura, Shigenori Nakano, Masayuki Matsumoto, Takashi Shimazu, Makoto Fujiwara, Taizo Matsuyama, Peter Hanrath