Makoto Fujiwara

According to our database, Makoto Fujiwara authored at least 24 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Prenex normalization and the hierarchical classification of formulas.

Makoto Fujiwara, Taishi Kurahashi

Arch. Math. Log., May, 2024

2023

Extended Frames and Separations of Logical Principles.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama

Bull. Symb. Log., September, 2023

Conservation theorems on Semi-Classical Arithmetic.

Makoto Fujiwara, Taishi Kurahashi

J. Symb. Log., 2023

Highly Scalable Metal Induced Lateral Crystallization (MILC) Techniques for Vertical Si Channel in Ultra-High (> 300 Layers) 3D Flash Memory.

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

Proceedings of the 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), 2023

2022

Refining the arithmetical hierarchy of classical principles.

Makoto Fujiwara, Taishi Kurahashi

Math. Log. Q., 2022

Δ ⁰₁ variants of the law of excluded middle and related principles.

Makoto Fujiwara

Arch. Math. Log., 2022

An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis.

Makoto Fujiwara

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

Decidable fan theorem and uniform continuity theorem with continuous moduli.

Makoto Fujiwara, Tatsuji Kawai

Math. Log. Q., 2021

König's lemma, weak König's lemma, and the decidable fan theorem.

Makoto Fujiwara

Math. Log. Q., 2021

Prenex Normal Form theorems in Semi-Classical Arithmetic.

Makoto Fujiwara, Taishi Kurahashi

J. Symb. Log., 2021

Weihrauch and constructive reducibility between existence statements.

Makoto Fujiwara

Comput., 2021

Characterising Brouwer's continuity by bar recursion on moduli of continuity.

Makoto Fujiwara, Tatsuji Kawai

Arch. Math. Log., 2021

2020

Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics.

Makoto Fujiwara

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.

Makoto Fujiwara, Tatsuji Kawai

Ann. Pure Appl. Log., 2019

Bar Induction and Restricted Classical Logic.

Makoto Fujiwara

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Interrelation between Weak Fragments of double Negation Shift and Related Principles.

Makoto Fujiwara, Ulrich Kohlenbach

J. Symb. Log., 2018

2016

A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.

Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Classical provability of uniform versions and intuitionistic provability.

Makoto Fujiwara, Ulrich Kohlenbach

Math. Log. Q., 2015

Some principles weaker than Markov's principle.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto

Arch. Math. Log., 2015

Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA.

Makoto Fujiwara

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

On the strength of marriage theorems and uniformity.

Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara

Math. Log. Q., 2014

2013

A Note on the Sequential Version of Statements.

Makoto Fujiwara, Keita Yokoyama

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2007

Consideration on addressing in ubiquitous space using fuzzy measure.

Tomoyuki Araki, Makoto Fujiwara, Yuichi Kohira

Proceedings of the IEEE International Conference on Systems, 2007

1985

Three-dimensional reconstruction of echocardiograms based on orthogonal sections.

Shinichi Tamura, Shigenori Nakano, Masayuki Matsumoto, Takashi Shimazu, Makoto Fujiwara, Taizo Matsuyama, Peter Hanrath

Pattern Recognit., 1985