栃木県出身。開成学園在学中、大学受験を翌年に控えた年の暮れに開成出身の東京芸術大学教授池内友次郎と出会う。池内から芸大受験を後押しされ、翌1949年に東京芸術大学音楽学部作曲科入学を果たす。卒業後もシャンソン音楽活動を継続し、1967年には、初めて訪れた沖縄に心を揺さぶられ、沖縄戦の悲劇を歌った代表作『さとうきび畑』を作詞・作曲したことで知られる。また、ピー・プロダクション製作の特撮テレビ映画『スペクトルマン』の劇伴音楽も手掛けている。2004年3月23日、肺腫瘍のため73歳で逝去した。
寺島 尚彦（てらしま なおひこ、1930年6月4日 - 2004年3月23日）は、日本の作詞家、作曲家。洗足学園音楽大学教授。次女はソプラノ歌手の寺島夕紗子。
「なにわ人情コメディ 横丁へよ〜こちょ!」にゲスト出演した際には、陣内智則やフットボールアワーの後藤輝基（麒麟の加入後は、麒麟の川島明も）らに「たこ焼き」（「たこ焼きのお化け」、「巨大たこ焼き」）と間違えられて貶された上に、たこ焼きソース、マヨネーズ、青海苔、かつお節を頭や顔に塗り掛けられることも多かった。なお、後番組の「あったか人情コメディ 湯けむりパラダイス!」では、日帰り温泉入浴施設が舞台のため、このネタは見られなくなった。
駅やバス停、タクシースタンドなどで、旅客や貨物を雨風から守るために設置される覆い（上屋）のことをシェルターと呼ぶことがある。ヨーロッパの大きな駅では、プラットホームと線路全体を覆う巨大なシェルターがしばしば見られ、プラットホームホールなどと呼ばれることもある。日本においては、平成12年の移動円滑化の促進に関する基本方針（交通バリアフリー法）制定後、高齢者や身体障害者等の公共交通機関を利用した移動の利便性向上のため、一定規模の駅とバス停との間における通路シェルターの整備が進んでいる。また、線路や道路、地下道入口を雨や風、雪から防護するために設置するシェルターもある。強風が頻繁に吹く場所で防風壁を設置するのは、シェルターの一種である。また、積雪地においては、除雪の手間を省き安定した輸送を確保するために全体をシェルターで覆うことがあり、札幌市営地下鉄南北線の例が挙げられる。トンネルが連続する区間においては、トンネル微気圧波対策などの関係から間をつなぐシェルターを設置することがある。また、高速道路においては騒音防止のためにある特定の区間内に設けられており、その代表的なものが中国自動車道の青葉台シェルターや中央自動車道の烏山シェルターである。前者はトンネル式、後者は高架に設けられている。いずれも1970年代半ばに作られた。建設された背景には当時の車の台数の増加による騒音の激化や、開発反対の運動を懐柔させるためにとった苦肉の策などが挙げられる。
人工知能は、人間の思考過程を機械で再現できるという前提に基づいている。機械的あるいは形式的推論の歴史は長い。中国、インド、ギリシアの哲学者らは、いずれも紀元前に形式的推論の構造化された手法を発展させた。その発展に寄与した哲学者としては、アリストテレス（三段論法を定式化して分析した）、エウクレイデス（その『原論』は形式的推論の原型となった）、フワーリズミー（代数学を発展させ、その名は「アルゴリズム」として残っている）、ヨーロッパスコラ学の哲学者であるオッカムのウィリアムとヨハネス・ドゥンス・スコトゥスなどが挙げられる。マジョルカ人哲学者ラモン・リュイ (1232–1315) は論理的方法で知識を生み出すことを意図した「論理機械」をいくつか開発した。リュイは自身の機械について、単純な論理操作で基本的かつ紛れもない真理を結合する機械的要素群であり、機械的手段で生み出された真理が考えられるあらゆる知識を生み出すとした。リュイの業績はゴットフリート・ライプニッツに大きな影響を及ぼした。17世紀になると、ライプニッツ、トマス・ホッブズ、ルネ・デカルトらはあらゆる理性的思考は代数学や幾何学のように体系化できるのではないかという可能性を探究した。ホッブズは『リヴァイアサン』で「推論は計算以外のなにものでもない」と記している。ライプニッツは推論のための汎用言語 (characteristica universalis) を想像し、論証を計算に還元しようと考えた。それによって「2人の哲学者の論争は2人の会計士の論争程度のことになる。彼らは論証を石版に書き記し（必要な友人を証人に立て）『計算』してみればよい」とした。これらの哲学者の考え方から物理記号システム仮説が明確化していき、それがAI研究の指針となった。20世紀になると、数理論理学の研究が人工知能の実現可能性への根本的なブレークスルーを提供する。その基盤となったのは、ブールの The Laws of Thought とフレーゲの『概念記法』である。フレーゲの体系に基づき、1913年、ラッセルとホワイトヘッドが重要な著作『プリンキピア・マテマティカ』において数学的基礎の形式的記述を行った。ラッセルの成果に触発されたダフィット・ヒルベルトは、当時の数学者らに「数学におけるあらゆる推論は形式化できるか?」という根本的問題を提示した（ヒルベルト・プログラム）。この問題への解答が、ゲーデルの不完全性定理、チューリングの機械、チャーチのラムダ計算である。その解答は2つの意味で驚くべきものだった。第一に彼らは数理論理が成し遂げられることには限界があることを証明した。第二に（こちらがAIにとっては重要）、彼らの業績が意味するのは、その限界の中でなら任意の数学的推論を機械化できるという事実だった。チャーチ＝チューリングのテーゼでは、0と1といった単純な記号群だけで任意の数学的推論過程を模倣できることが暗示されている。鍵となる洞察はチューリングマシンであり、記号操作を抽象化した単純な理論上の機械である。チューリングマシンは一部の科学者が思考する機械の可能性を議論しはじめるきっかけとなった。