HIGUCHI Kojiro
| General Educations | Assistant Professor |
Researcher Information
Field Of Study
Career
- Apr. 2019 - Present
Nihon University, College of Engineering, 専任講師 - Apr. 2016 - Mar. 2019
Nihon University, College of Engineering, Assistant Professor - 01 Apr. 2013 - 31 Mar. 2016
Chiba University, Faculty of Science, PD - Apr. 2013 - Mar. 2016
Chiba University, Faculty of Science, PD - 01 Apr. 2012 - 31 Mar. 2013
Tohoku University, Graduate School of Science, PD - Apr. 2012 - Mar. 2013
Tohoku University, Graduate School of Science, PD
Research activity information
Paper
- On the order dimension of locally countable partial orderings
Kojiro Higuchi; Steffen Lempp; Dilip Raghavan; Frank Stephan
Proceedings of the American Mathematical Society, Jul. 2020, Refereed, Not invited
Lead - 計算可能前構造と横山吉川の性質
樋口幸治郎; 倉橋太志
数理解析研究所講究録, Oct. 2017, Refereed, Not invited
Lead - カントール空間上の非空実効的閉集合の次数構造
樋口幸治郎
数理解析研究所講究録, Feb. 2011, Not refereed, Not invited
Lead
MISC
- Weak theories of concatenation and minimal essentially undecidable theories
Kojiro Higuchi; Yoshihiro Horihata
ARCHIVE FOR MATHEMATICAL LOGIC, Nov. 2014, Refereed, Not invited - On effectively closed sets of effective strong measure zero
Kojiro Higuchi; Takayuki Kihara
ANNALS OF PURE AND APPLIED LOGIC, Sep. 2014, Refereed, Not invited - Defining a randomness notion via another
Kojiro Higuchi; Ningning Peng
MATHEMATICAL LOGIC QUARTERLY, Aug. 2014, Refereed, Not invited - Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
K. Higuchi; T. Kihara
ANNALS OF PURE AND APPLIED LOGIC, Jun. 2014, Refereed, Not invited - On the strength of marriage theorems and uniformity
Makoto Fujiwara; Kojiro Higuchi; Takayuki Kihara
MATHEMATICAL LOGIC QUARTERLY, May 2014, Refereed, Not invited - Inside the Muchnik degrees I: Discontinuity, learnability and constructivism
K. Higuchi; T. Kihara
ANNALS OF PURE AND APPLIED LOGIC, May 2014, Refereed, Not invited - Propagation of partial randomness
Kojiro Higuchi; W. M. Philip Hudelson; Stephen G. Simpson; Keita Yokoyama
ANNALS OF PURE AND APPLIED LOGIC, Feb. 2014, Refereed, Not invited - Effectively closed mass problems and intuitionism
Kojiro Higuchi
ANNALS OF PURE AND APPLIED LOGIC, Jun. 2012, Refereed, Not invited - Relative randomness for Martin-Löf random sets
NingNing Peng; Kojiro Higuchi; Takeshi Yamazaki; Kazuyuki Tanaka
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Refereed, Not invited - Effective strong nullness and effectively closed sets
Kojiro Higuchi; Takayuki Kihara
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Refereed, Not invited - P(w) Is Not a Heyting Algebra
Kojiro Higuchi
PROGRAMS, PROOFS, PROCESSES, 2010, Refereed, Not invited
Lectures, oral presentations, etc.
- 自然拡張 —解析基礎論的な研究—
数学基礎論若手の会, Dec. 2021, Not invited - The natural extensions of additive positive partial functionals
Kojiro Higuchi
MSJ Spring Meeting 2021, Mar. 2021, Not invited - Positive Vector Spaces and Extensions of Linear Maps
樋口幸治郎
日本数学会東北支部会, Feb. 2020, Not invited - Computable Prestructures
MSJ Autumn Meeting 2018, Sep. 2018, Invited - Computably represented structures
Kojiro Higuchi
Mathematical Logic and Its Application, Sep. 2016, Invited - ハイパーテキストに付随したグラフ理論的問題の計算的観点からの考察
樋口幸治郎
第59回日本大学工学部学術研究報告会, Sep. 2016, Not invited - Computably represented structures
第50回MLG数理論理学研究集会, Jan. 2016, Not invited - クラス理論の体系について
日本数学会2015年度年会, Mar. 2015, Not invited - 集合世界の創生
山陰基礎論・解析学研究集会, Jan. 2015, Not invited - Measure-predictable scan rules
Analysis, Randomness and Applications (ARA2014), Sep. 2014, Not invited - The order dimensions of degree structures
Logic Colloquium 2014, Vienna Summer of Logic 2014, Jul. 2014, Not invited - Structures vs Prestructures
SLACS 2014 / 2014年度超準解析シンポジウム, May 2014, Not invited - The order dimensions of degree structures
Computability Theory and Foundations of Mathematics (CTFM 2014), Feb. 2014, Not invited - Turing次数構造の順序次元
山陰基礎論・解析学セミナー2014, Feb. 2014, Not invited - 理論の翻訳可能性について
数学基礎論若手の会, Nov. 2013, Not invited - Between Martin-Loef randomness and computable randomness
13th Asian Logic Conference, Sep. 2013, Not invited - Minimal essential undecidability of theories of concatenations
Computability in Europe 2013 (CiE 2013), Jul. 2013, Not invited - Effective strong measure zero
ELC Workshop on Randomness and Probability Through Computability, May 2013, Not invited - The Muchnik degrees of Pi01 and Sigma11 classes
Computability Theory and Foundations of Mathematics (CTFM 2013), Feb. 2013, Not invited - Strong measure zero
Workshop on Mathematical Logic, Dec. 2012, Not invited - Effective strong fullness and effectively closed sets
Computability in Europe 2012 (CiE 2012), Jun. 2012, Not invited - Lowness properties and effectively Borel measurable functions
日本数学会年会, Mar. 2012, Not invited - Effective strong fullness and diminutiveness
Workshop on Proof Theory and Computability Theory 2012, Feb. 2012, Not invited - Nonempty open intervals of the effectively closed Muchnik degrees
Twelfth Asian Logic Conference, Dec. 2011, Not invited - P≠NPの世界
数学基礎論若手の会, Nov. 2011, Not invited - 実効的閉集合のなす弱次数構造の稠密性問題
日本数学会秋季総合分科会, Sep. 2011, Not invited - Mass Problems and Intuitionism
Workshop on formal systems and computability theory, Sep. 2011, Not invited - Weihrauch lattice and intuitionism
Workshop on Proof Theory and Computability Theory, Feb. 2011, Not invited - Pw is not a Heyting algebra
Computability in Europe 2010 (CiE 2010), Jul. 2010, Not invited - The lattice of weak degrees of nonempty Pi01 classes
Workshop on Proof Theory and Computability Theory, Feb. 2010, Not invited - Smallness properties of mass problems
数学基礎論若手の会, Nov. 2009, Not invited - マス・プロブレムの還元可能性
日本数学会秋季総合分科会, Sep. 2009, Not invited
