作詞の堀徹とは堀晃に了解をもらった上でつけたペンネームであり、正体は作曲者の大澤である。
主に中学校の合唱コンクールなどで好んで歌われることが多い。卒業式の歌としても歌われる事がある。
ヒュームの原理
ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術()と呼ばれているもののすべての公理が論理的必然として導かれることが証明される。このことの帰結がフレーゲの定理の名で知られるものであり、新論理主義の名で知られる数学の哲学を基礎づけている。
発端.
それゆえ、われわれが、推論の連鎖をどれほど複雑に続けても、完全な厳密さと確実さを保持することができる学問としては、代数学と算術だけが残る。われわれは、数の等しさと比を測定するための正確な基準をもっており、数がこの基準に一致するかどうかによって、誤る可能性なしに数の間の関係を決定するのである。われわれは、二つの数が、一方の数が他方の数に含まれるすべての単位〔数の一〕をに対応する単位〔数の一〕を含むように構成されているとき、それらの数をたがいに等しいと言う。そして、幾何学を完全で誤ることのない学問と見なすことがほとんどできないのは、〔空間的〕延長においては、等しさのこのような〔正確な〕基準がないからである
集合論への影響.
一対一対応の式によって基数を特徴づけることができるという原理はすでにカントールによって正面から取り上げられており、カントールの著作はフレーゲも知っていた。このためヒュームの原理というよりカントールの原理と呼ぶべきであるという意見もある。しかしフレーゲはカントールを批判し、カントールが基数を順序数によって定義しているが、そうではなく順序数とは無関係に基数を特徴づけようとしたと述べている。また、カントールの考え方は、公理的な集合論が詳細に述べているような当時の超限数の理論の一部として述べられたものである。
文化人形
文化人形（ぶんかにんぎょう）とは、
文化人形の「文化」とは、文化住宅、文化包丁など様々な派生語を生んだ、当時の流行語。
歴史.