Takahashi Makoto 高橋真

… Alternative Names

TAKAHASHI Makoto 高橋真

高橋真タカハシマコト

Less

Researcher Number	50154860
Other IDs
Affiliation (based on the past Project Information) *help	2014 – 2017: 神戸大学, 人間発達環境学研究科, 教授 2011 – 2012: 神戸大学, 人間発達環境学研究科, 教授 2004 – 2006: 神戸大学, 発達科学部, 教授 1998 – 2000: 神戸大学, 発達科学部, 助教授 1999: Kobe University, faculty of human development, Ass. Prof., 人間発達学部, 助教授 … More 1993 – 1994: 神戸大学, 発達科学部, 助教授 1990: 神戸大学, 教養部, 助教授 1986: 神戸大学, 教養部, 講師 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Science education / Science education Except Principal Investigator 代数学・幾何学 / Education on school subjects and activities / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Geometry
Keywords	Principal Investigator ビジュアルプログラミング / ビジュアルプログラミング環境 / Compiler / Intuitionism / Logic Programming Language / Temporal Logic / Linear Logic / Temporal Linear Logic / 時相腺形論理 / コンパイラ … More / 直観主義 / 論理型言語 / 時相論理 / 線形論理 / 時相線形論理 / Snap!(BYOB 4.0) / Snap! / 論理的思考能力 / 数理科学教育 / 数理情報教育 … More Except Principal Investigator Chang's conjecture / supercompact cardinal / Cohen models / weak Freese-Nation property / Educational technology / Cognitive science / Computer algebra / Informatics education / Mathematics education / 教育実践 / 中・高校との連携 / 大学教育 / 情報科学の教育 / 教育工学 / 認知科学 / 数式処理 / 情報教育 / 数学教育 / P(ω) / complete Boolean algebras / 基数不変量 / ブール代数 / Cohen モデル / Cichon diagram / homogeneity principle / forcing axioms / Open Coloring Axiom / Cohen model / Ρ(ω) / Chang'sconjecture / 完備ブール代数 / E-cycle / DS-diagram, / 3次元多様体 / ground-forms / Grobner基底 / 正則列 / 完備性 / 双対空間 / リンデレーフ性 / 弱P-空間 / 距離空間 / コンパクト性 / 正規性 / 積空間 / normal / von Neumann regular / regular / Pーinjective / Sーsystem / pure spectrum / sheaf / monoid Less

Research on next generation mathematical science education for logical thinking ability developmentPrincipal Investigator
- Principal Investigator
  
  Takahashi Makoto
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Science education
- Research Institution
  Kobe University
Study of Education of the Next Generation of Mathematics and Informatics for the Understanding of Mathematical ConceptsPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Makoto
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Science education
- Research Institution
  Kobe University
A research about the improvement for mathematics information education in a university
- Principal Investigator
  
  FUNAKOSHI Syunsuke
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Education on school subjects and activities
- Research Institution
  Kobe University
Design and system development of a programming language based on a temporal linear logicPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Makoto, TAMURA Naoyuki
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KOBE UNIVERSITY
Infinite combinatrics and its applications
- Principal Investigator
  
  SAKAE Kitami
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kitami Institute of Technology
可換多元環のイデアルに関わるアルゴリズムの研究
- Principal Investigator
  
  竹内康滋
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Kobe University
諸分野の専門的手法を用いての位相的性質の研究
- Principal Investigator
  
  奥山晃弘
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Kobe University
半群におけるHomology代数
- Principal Investigator
  
  高橋典大
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  代数学・幾何学
- Research Institution
  Kobe University
DS-diagrams with E-cycle
- Principal Investigator
  
  池田裕司
- Project Period (FY)
  1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  代数学・幾何学
- Research Institution
  Kobe University

All 2015 2014 2006 2005

All Journal Article Presentation Book

[Book] モデル検査入門2015
- Author(s)
  高橋真
- Total Pages
  75
- Publisher
  放送大学面接授業テキスト
- Data Source
  KAKENHI-PROJECT-26560089
[Journal Article] Development of the Active Teaching Materials in Mathematics Education2006
- Author(s)
  T.Takahashi
- Journal Title
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vo1. 11
  
  Pages: 186-192
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] The Effect of the Thoerem Prover in Cognitive Science2006
- Author(s)
  T.Takahashi
- Journal Title
  
  ICCS 2006, Part II, LNCS 3992 (Springer-Verlag Berlin Heidelberg) LNCS 3992
  
  Pages: 924-927
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] Development of the Active Teaching Materials in Mathematics Education2006
- Author(s)
  T.Takahashi
- Journal Title
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vol. 11
  
  Pages: 186-192
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] The Effect of the Thoerem Prover in Cognitive Science2006
- Author(s)
  T.Takahashi
- Journal Title
  
  Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992
  
  Pages: 924-927
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] The Effect of the Thoerem Prover in Cognitive Science2006
- Author(s)
  T.Takahashi
- Journal Title
  
  Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992 LNCS 3992
  
  Pages: 924-927
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] Development of the Active Teaching Materials in Mathematic Education2006
- Author(s)
  T.Takahashi
- Journal Title
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vol. 11
  
  Pages: 186-192
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16330178
[Journal Article] 数式処理と教育2005
- Author(s)
  高橋正
- Journal Title
  
  数式処理 Vol.12, No.1
  
  Pages: 47-50
- NAID
  10019341850
- Data Source
  KAKENHI-PROJECT-16330178
[Presentation] BYOBを用いた数理情報教育2014
- Author(s)
  高橋　真
- Organizer
  大阪プログラミング・情報教育研究会
- Place of Presentation
  神戸市立科学技術高等学校
- Year and Date
  2014-07-27
- Data Source
  KAKENHI-PROJECT-26560089

1. FUNAKOSHI Syunsuke (40031356)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. 江川治朗 (50031117)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. TAKAHASHI Joji (30197149)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. SHIRAKURA Teruhiro (30033913)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 高橋典大 (00031295)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 河野正晴 (40170203)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 池田裕司 (10031353)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. 奥山晃弘 (40030275)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. DEGUCHI Hiroaki (90324897)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. SAKAE Kitami (30292098)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. ABE Yoshihiro (10159452)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. KADA Masaru (00312447)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SANNAMI Atsushi (30154157)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. BRENDLE Jorg (70301851)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. BANBARA Mutsunori (80290774)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. TAKAHASHI Tadashi (30179494)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
18. MIYATA Takahisa (30280390)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 木村郁雄 (80031293)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 中村昌稔 (80031102)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 竹内康滋 (80030336)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 広森勝久 (60031324)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 井上善允 (70031317)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 高橋讓嗣

# of Collaborated Projects: 0 results

# of Collaborated Products: 7 results

Takahashi Makoto 高橋 真

TAKAHASHI Makoto 高橋 真

高橋 真 タカハシ マコト

Research Projects

Research Products

Co-Researchers

Research on next generation mathematical science education for logical thinking ability developmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Education of the Next Generation of Mathematics and Informatics for the Understanding of Mathematical ConceptsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A research about the improvement for mathematics information education in a university

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design and system development of a programming language based on a temporal linear logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Infinite combinatrics and its applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

可換多元環のイデアルに関わるアルゴリズムの研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

諸分野の専門的手法を用いての位相的性質の研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

半群におけるHomology代数

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

DS-diagrams with E-cycle

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] モデル検査入門2015

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Development of the Active Teaching Materials in Mathematics Education2006

Author(s)

Journal Title

Data Source

[Journal Article] The Effect of the Thoerem Prover in Cognitive Science2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Development of the Active Teaching Materials in Mathematics Education2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] The Effect of the Thoerem Prover in Cognitive Science2006

Takahashi Makoto 高橋真

TAKAHASHI Makoto 高橋真

高橋真タカハシマコト