高橋真 Takahashi Makoto

研究者番号	50154860
その他のID
所属 (過去の研究課題情報に基づく) *注記	2014年度 – 2017年度: 神戸大学, 人間発達環境学研究科, 教授 2011年度 – 2012年度: 神戸大学, 人間発達環境学研究科, 教授 2004年度 – 2006年度: 神戸大学, 発達科学部, 教授 1998年度 – 2000年度: 神戸大学, 発達科学部, 助教授 1999年度: 神戸大学, 人間発達学部, 助教授 … もっと見る 1993年度 – 1994年度: 神戸大学, 発達科学部, 助教授 1990年度: 神戸大学, 教養部, 助教授 1986年度: 神戸大学, 教養部, 講師隠す
審査区分/研究分野	研究代表者計算機科学 / 科学教育 / 科学教育研究代表者以外代数学・幾何学 / 教科教育学 / 数学一般(含確率論・統計数学) / 代数学 / 幾何学
キーワード	研究代表者ビジュアルプログラミング / ビジュアルプログラミング環境 / Compiler / Intuitionism / Logic Programming Language / Temporal Logic / Linear Logic / Temporal Linear Logic / 時相腺形論理 / コンパイラ … もっと見る / 直観主義 / 論理型言語 / 時相論理 / 線形論理 / 時相線形論理 / Snap!(BYOB 4.0) / Snap! / 論理的思考能力 / 数理科学教育 / 数理情報教育 … もっと見る研究代表者以外 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 隠す

論理的思考能力育成のための次世代数理科学教育の研究研究代表者
- 研究代表者
  
  高橋真
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  科学教育
- 研究機関
  神戸大学
数学的概念の理解を促すための次世代数理情報教育の研究研究代表者
- 研究代表者
  
  高橋真
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  科学教育
- 研究機関
  神戸大学
大学における数理情報教育に求められている課題の分析とその改善に関する研究
- 研究代表者
  
  船越俊介
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教科教育学
- 研究機関
  神戸大学
資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築研究代表者
- 研究代表者
  
  高橋真, 田村直之
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  神戸大学
無限組合せ論とその応用
- 研究代表者
  
  渕野昌
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北見工業大学
可換多元環のイデアルに関わるアルゴリズムの研究
- 研究代表者
  
  竹内康滋
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学
- 研究機関
  神戸大学
諸分野の専門的手法を用いての位相的性質の研究
- 研究代表者
  
  奥山晃弘
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  幾何学
- 研究機関
  神戸大学
半群におけるHomology代数
- 研究代表者
  
  高橋典大
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  神戸大学
DS-diagrams with E-cycle
- 研究代表者
  
  池田裕司
- 研究期間 (年度)
  1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  代数学・幾何学
- 研究機関
  神戸大学

すべて 2015 2014 2006 2005

すべて雑誌論文学会発表図書

[図書] モデル検査入門2015
- 著者名/発表者名
  高橋真
- 総ページ数
  75
- 出版者
  放送大学面接授業テキスト
- データソース
  KAKENHI-PROJECT-26560089
[雑誌論文] Development of the Active Teaching Materials in Mathematics Education2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vo1. 11
  
  ページ: 186-192
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] The Effect of the Thoerem Prover in Cognitive Science2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  ICCS 2006, Part II, LNCS 3992 (Springer-Verlag Berlin Heidelberg) LNCS 3992
  
  ページ: 924-927
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] Development of the Active Teaching Materials in Mathematics Education2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vol. 11
  
  ページ: 186-192
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] The Effect of the Thoerem Prover in Cognitive Science2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992
  
  ページ: 924-927
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] The Effect of the Thoerem Prover in Cognitive Science2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  Springer-Verlag Berlin Heidelberg, ICCS 2006, Part II, LNCS 3992 LNCS 3992
  
  ページ: 924-927
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] Development of the Active Teaching Materials in Mathematic Education2006
- 著者名/発表者名
  T.Takahashi
- 雑誌名
  
  Proc. of the 11th Asian Technology Conference in Mathematics Vol. 11
  
  ページ: 186-192
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16330178
[雑誌論文] 数式処理と教育2005
- 著者名/発表者名
  高橋正
- 雑誌名
  
  数式処理 Vol.12, No.1
  
  ページ: 47-50
- NAID
  10019341850
- データソース
  KAKENHI-PROJECT-16330178
[学会発表] BYOBを用いた数理情報教育2014
- 著者名/発表者名
  高橋　真
- 学会等名
  大阪プログラミング・情報教育研究会
- 発表場所
  神戸市立科学技術高等学校
- 年月日
  2014-07-27
- データソース
  KAKENHI-PROJECT-26560089

1. 船越俊介 (40031356)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 江川治朗 (50031117)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 高橋譲嗣 (30197149)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 白倉暉弘 (30033913)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 田村直之 (60207248)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 高橋典大 (00031295)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 河野正晴 (40170203)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 池田裕司 (10031353)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 奥山晃弘 (40030275)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 出口博章 (90324897)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 渕野昌 (30292098)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 阿部吉弘 (10159452)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 嘉田勝 (00312447)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 三波篤郎 (30154157)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. BRENDLE Jrg (70301851)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 番原睦則 (80290774)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 高橋正 (30179494)

共同の研究課題数: 1件

共同の研究成果数: 7件
18. 宮田任寿 (30280390)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 木村郁雄 (80031293)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 中村昌稔 (80031102)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 竹内康滋 (80030336)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 広森勝久 (60031324)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 井上善允 (70031317)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 高橋讓嗣

共同の研究課題数: 0件

共同の研究成果数: 7件

高橋 真 Takahashi Makoto

研究課題

研究成果

共同研究者

論理的思考能力育成のための次世代数理科学教育の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

数学的概念の理解を促すための次世代数理情報教育の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大学における数理情報教育に求められている課題の分析とその改善に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

無限組合せ論とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

半群におけるHomology代数

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

DS-diagrams with E-cycle

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] モデル検査入門2015

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Development of the Active Teaching Materials in Mathematics Education2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Effect of the Thoerem Prover in Cognitive Science2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Development of the Active Teaching Materials in Mathematics Education2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] The Effect of the Thoerem Prover in Cognitive Science2006

著者名/発表者名

雑誌名

高橋真 Takahashi Makoto