著者
内田 真理子
出版者
新領域創成科学研究科 環境学研究系 人間環境学専攻
巻号頁・発行日
2007-03-22

報告番号: 甲22761 ; 学位授与年月日: 2007-03-22 ; 学位の種別: 課程博士 ; 学位の種類: 博士(環境学) ; 学位記番号: 博創域第298号 ; 研究科・専攻: 新領域創成科学研究科人間環境学専攻
著者
中村 航
出版者
[出版者不明]
巻号頁・発行日
2011-02

制度:新 ; 報告番号:甲3294号 ; 学位の種類:博士(建築学) ; 授与年月日:2011/2/25 ; 早大学位記番号:新5598
著者
新城 直樹
出版者
国語学研究と資料の会
雑誌
国語学研究と資料 (ISSN:03855546)
巻号頁・発行日
vol.27, pp.25-36, 2004-03-15
著者
都村 聞人
出版者
京都大学大学院教育学研究科
雑誌
京都大学大学院教育学研究科紀要 (ISSN:13452142)
巻号頁・発行日
vol.52, pp.65-78, 2006-03-31

この論文は国立情報学研究所の学術雑誌公開支援事業により電子化されました。

2 0 0 0 OA 鉱山の悪魔

著者
谷口 智子
出版者
筑波大学哲学・思想学会
雑誌
哲学・思想論叢 (ISSN:02873702)
巻号頁・発行日
no.15, pp.33-44, 1997-01-31
著者
田中 一義
出版者
化学同人
雑誌
化学 (ISSN:04511964)
巻号頁・発行日
vol.66, no.11, pp.26-29, 2011-11

[特集] 化学 温故知新: 福井謙一先生ノーベル化学賞受賞30周年
著者
柾木 貴之
出版者
東京大学大学院総合文化研究科言語情報科学専攻
雑誌
言語情報科学 (ISSN:13478931)
巻号頁・発行日
vol.14, pp.71-87, 2016-03-01

本研究は戦後から1960年代までを対象に、「国語教育と英語教育の連携」をめぐる状況について明らかにすることを目的とする。2000年以降、「連携」に関する議論が高まり、各分野から研究が進んでいるが、ほとんど研究が進んでいないのが歴史的研究である。とくに戦後から1960 年代にかけてどの程度、「連携」が行われていたかについては明らかになっていない。このような状況の下、文献調査を行った結果、「連携」が行われたことを示す資料は発見できなかったが、戦前にはほとんど見られなかった特徴として、(1)国語教育と外国語教育を合わせて「言語教育」と捉える動きがあったこと、(2)その「言語教育」という概念のもとで、国語教育と英語教育の共通点が模索されたこと、(3)しかし一方で、主に文学教材を通した人間形成を重視する国語教育と、コミュニケーション能力の育成を目指す英語教育とでは、全く異なったことをやっているという意識が存在したこと、の三点が明らかになった。このような意識が、戦後から1960年代にかけて、「連携」という発想が広く共有されなかった一因と考えられる。
著者
西村 泰一
巻号頁・発行日
2016

Homotopy Type Theory lies at the crossroads of computer science, mathematical logic and homotopy theory. It was found out in the first decade of this century that dependent type theory is no other than the internal language for (abstract) homotopy theory, just as the Mitchell-Benabou language is the internal language for topos theory. It is pleasing to note that the Freudenthal suspension theorem, the Blakers-Massey homotopy excision theorem, Whitehead's principle for n-types, the van Kampen theorem, and some other famous theorems are given new proofs within homotopy type theory.