Rchr
J-GLOBAL ID:200901062252593369   Update date: Jan. 31, 2024

Takahashi Makoto

タカハシ マコト | Takahashi Makoto
Affiliation and department:
Research field  (3): Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (7): Education of Mathematics and Informatics ,  Visual Programming ,  Model Checking ,  Software Verification ,  Set Theory ,  Mathematical Logic ,  Boolean Algebras
Research theme for competitive and other funds  (9):
  • 2014 - 2017 論理的思考能力育成のための次世代数理科学教育の研究
  • 2011 - 数学的概念の理解を促すための次世代数理情報教育の研究
  • 2005 - 大学における数理情報教育に求められている課題の分析とその改善に関する研究
  • 1999 - 2000 Design and system development of a programming language based on a temporal linear logic
  • 1998 - 1999 Infinite combinatrics and its applications
Show all
Papers (5):
  • TAKAHASHI MAKOTO. On non σ-shortness of Axiom A posets with frame systems. 京都大学数理解析研究所講究録. 2016. 1988. 65-76
  • TAKAHASHI, Makoto. Some characterizations of strongly sigma-short Boolean Algebras. 京都大学数理解析研究所講究録. 2005. 1423, 87-100
  • M Takahashi, Y Yoshinobu. sigma-short Boolean algebras. MATHEMATICAL LOGIC QUARTERLY. 2003. 49. 6. 543-549
  • TAKAHASHI Makoto. On strongly sigma-short Boolean algebras. Proceedins of General Topology Symposium held in Kobe, December 18-20, 2002. 2002. 73-77
  • TAKAHASHI, Makoto. On extended Banach-Mazur games on Boolean algebras. Scientiae Mathematicae. 1998. 1・2, 169-176
Books (4):
  • Snap!(BYOB)による計算機数学入門
    平成26〜29年度科学研究費助成事業(学術研究助成基金助成金) 挑戦的萌芽研究 2018
  • キーワード 人間と発達[増補改訂版] V. 生活とテクノロジー
    大学教育出版 2007
  • A LOGICAL APPROACH TO DISCRETE MATH
    日本評論社 2001
  • Van Nostrand's SCIENTIFIC ENCYCLOPEDIA
    朝倉書店 1999
Lectures and oral presentations  (15):
  • On non σ-shortness of Axiom A posets with frame systems
    (京都大学数理解析研究所研究集会「公理的集合論の最近の進展」 2015)
  • Axiom A poset のframe system について
    (日本数学会2015年度秋季総合分科会 2015)
  • プログラム検証とホーア論理
    (Kobe Studio Seminar 2014)
  • BYOBを用いた数理情報教育
    (大阪プログラミング・情報教育研究会 2014)
  • σ-shortではないAxiom A posetについて
    (2011日本数学会年会 2011)
more...
Education (1):
  • - 1988 早稲田大学 大学院理工学研究科博士課程(後期課程)修了
Professional career (1):
  • 理学博士 (早稲田大学)
Association Membership(s) (1):
日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page