樋口　幸治郎

工学部　総合教育専任講師

研究者情報

研究キーワード

  • 数理論理学, 計算可能性理論

研究分野

  • 自然科学一般, 数学基礎, 数学基礎・応用数学
  • 自然科学一般, 応用数学、統計数学, 数学基礎・応用数学

経歴

  • 2019年04月 - 現在
    日本大学, 工学部, 専任講師
  • 2016年04月 - 2019年03月
    日本大学, 工学部, 助教
  • 2013年04月01日 - 2016年03月31日
    千葉大学, 理学研究科, PD
  • 2013年04月 - 2016年03月
    千葉大学, 理学研究科, PD
  • 2012年04月01日 - 2013年03月31日
    東北大学, 理学研究科, PD
  • 2012年04月 - 2013年03月
    東北大学, 理学研究科, PD

学歴

  • 2009年04月01日 - 2012年03月31日
    東北大学, 理学研究科, 数学専攻
  • 2009年04月 - 2012年03月
    東北大学, 理学研究科, 数学専攻
  • 2007年04月01日 - 2009年03月31日
    東北大学, 理学研究科, 数学専攻
  • 2007年04月 - 2009年03月
    東北大学, 理学研究科, 数学専攻
  • 2001年04月 - 2007年03月
    九州大学, 工学部, 機械航空工学科
研究活動情報

論文

  • On the order dimension of locally countable partial orderings
    Kojiro Higuchi; Steffen Lempp; Dilip Raghavan; Frank Stephan
    Proceedings of the American Mathematical Society, 2020年07月, 査読有り, 通常論文
    筆頭著者
  • Weak theories of concatenation and minimal essentially undecidable theories
    Kojiro Higuchi; Yoshihiro Horihata
    ARCHIVE FOR MATHEMATICAL LOGIC, 2014年11月, 査読有り, 通常論文
  • On effectively closed sets of effective strong measure zero
    Kojiro Higuchi; Takayuki Kihara
    ANNALS OF PURE AND APPLIED LOGIC, 2014年09月, 査読有り, 通常論文
  • Defining a randomness notion via another
    Kojiro Higuchi; Ningning Peng
    MATHEMATICAL LOGIC QUARTERLY, 2014年08月, 査読有り, 通常論文
  • 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, 2014年06月, 査読有り, 通常論文
  • On the strength of marriage theorems and uniformity
    Makoto Fujiwara; Kojiro Higuchi; Takayuki Kihara
    MATHEMATICAL LOGIC QUARTERLY, 2014年05月, 査読有り, 通常論文
  • Inside the Muchnik degrees I: Discontinuity, learnability and constructivism
    K. Higuchi; T. Kihara
    ANNALS OF PURE AND APPLIED LOGIC, 2014年05月, 査読有り, 通常論文
  • Propagation of partial randomness
    Kojiro Higuchi; W. M. Philip Hudelson; Stephen G. Simpson; Keita Yokoyama
    ANNALS OF PURE AND APPLIED LOGIC, 2014年02月, 査読有り, 通常論文
  • Effectively closed mass problems and intuitionism
    Kojiro Higuchi
    ANNALS OF PURE AND APPLIED LOGIC, 2012年06月, 査読有り, 通常論文
  • Relative Randomness for Martin-Löf Random Sets.
    NingNing Peng; Kojiro Higuchi; Takeshi Yamazaki; Kazuyuki Tanaka
    How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings, 2012年, 査読有り, 通常論文
  • 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年, 査読有り, 通常論文
  • P(w) Is Not a Heyting Algebra
    Kojiro Higuchi
    PROGRAMS, PROOFS, PROCESSES, 2010年, 査読有り, 通常論文

MISC

  • 計算可能前構造と横山吉川の性質
    樋口幸治郎; 倉橋太志
    数理解析研究所講究録, 2017年10月01日, 査読無し, 通常論文
    筆頭著者
  • カントール空間上の非空実効的閉集合の次数構造
    樋口幸治郎
    数理解析研究所講究録, 2011年02月01日, 査読無し, 通常論文
    筆頭著者

講演・口頭発表等

  • 連続体上の整礎性
    樋口 幸治郎
    第９回 山陰 数学と基礎論研究集会 （２０２４年）, 2024年01月, 通常論文
  • 自然拡張 —解析基礎論的な研究—
    数学基礎論若手の会, 2021年12月, 通常論文
  • 加法的正部分汎関数の自然拡張
    樋口幸治郎
    日本数学会2021年度年会, 2021年03月, 通常論文
  • 正ベクトル空間と線型写像の拡張
    樋口幸治郎
    日本数学会東北支部会, 2020年02月, 通常論文
  • Computable Prestructures
    日本数学会2018年度秋季総合分科会, 2018年09月, 招待有り
  • Computably represented structures
    樋口幸治郎
    RISM研究集会 数学基礎論とその応用, 2016年09月, 招待有り
  • ハイパーテキストに付随したグラフ理論的問題の計算的観点からの考察
    樋口幸治郎
    第59回日本大学工学部学術研究報告会, 2016年09月, 通常論文
  • Computably represented structures
    第50回MLG数理論理学研究集会, 2016年01月, 通常論文
  • クラス理論の体系について
    日本数学会2015年度年会, 2015年03月, 通常論文
  • 集合世界の創生
    山陰基礎論・解析学研究集会, 2015年01月, 通常論文
  • Measure-predictable scan rules
    Analysis, Randomness and Applications (ARA2014), 2014年09月, 通常論文
  • The order dimensions of degree structures
    Logic Colloquium 2014, Vienna Summer of Logic 2014, 2014年07月, 通常論文
  • Structures vs Prestructures
    SLACS 2014 / 2014年度超準解析シンポジウム, 2014年05月, 通常論文
  • The order dimensions of degree structures
    Computability Theory and Foundations of Mathematics (CTFM 2014), 2014年02月, 通常論文
  • Turing次数構造の順序次元
    山陰基礎論・解析学セミナー2014, 2014年02月, 通常論文
  • 理論の翻訳可能性について
    数学基礎論若手の会, 2013年11月, 通常論文
  • Between Martin-Loef randomness and computable randomness
    13th Asian Logic Conference, 2013年09月, 通常論文
  • Minimal essential undecidability of theories of concatenations
    Computability in Europe 2013 (CiE 2013), 2013年07月, 通常論文
  • Effective strong measure zero
    ELC Workshop on Randomness and Probability Through Computability, 2013年05月, 通常論文
  • The Muchnik degrees of Pi01 and Sigma11 classes
    Computability Theory and Foundations of Mathematics (CTFM 2013), 2013年02月, 通常論文
  • Strong measure zero
    Workshop on Mathematical Logic, 2012年12月, 通常論文
  • Effective strong fullness and effectively closed sets
    Computability in Europe 2012 (CiE 2012), 2012年06月, 通常論文
  • Lowness properties and effectively Borel measurable functions
    日本数学会年会, 2012年03月, 通常論文
  • Effective strong fullness and diminutiveness
    Workshop on Proof Theory and Computability Theory 2012, 2012年02月, 通常論文
  • Nonempty open intervals of the effectively closed Muchnik degrees
    Twelfth Asian Logic Conference, 2011年12月, 通常論文
  • P≠NPの世界
    数学基礎論若手の会, 2011年11月, 通常論文
  • 実効的閉集合のなす弱次数構造の稠密性問題
    日本数学会秋季総合分科会, 2011年09月, 通常論文
  • Mass Problems and Intuitionism
    Workshop on formal systems and computability theory, 2011年09月, 通常論文
  • Weihrauch lattice and intuitionism
    Workshop on Proof Theory and Computability Theory, 2011年02月, 通常論文
  • Pw is not a Heyting algebra
    Computability in Europe 2010 (CiE 2010), 2010年07月, 通常論文
  • The lattice of weak degrees of nonempty Pi01 classes
    Workshop on Proof Theory and Computability Theory, 2010年02月, 通常論文
  • Smallness properties of mass problems
    数学基礎論若手の会, 2009年11月, 通常論文
  • マス・プロブレムの還元可能性
    日本数学会秋季総合分科会, 2009年09月, 通常論文

所属学協会

  • 日本数学会