「マルセイユ」を含む日記

■「新しいプログラミング・パラダイム」の目次

第1章 新しいプログラミング・パラダイムをめぐって (井田哲雄)
	1.1 はじめに
	1.2 プログラミング・パラダイムの形成
	1.3 プログラミング・パラダイムの展開
	1.4 パラダイムと作法と構造化プログラミング
	1.5 構造化プログラミングを超えて
	1.6 関数型プログラミング，論理型プログラミング，対象指向プログラミング
	1.7 新しいプログラミング・パラダイム
	1.8 まとめ


第2章 ラムダ計算と高階プログラミング (横内寛文)
	2.1 はじめに
	2.2 ラムダ計算
	2.3 最左戦略
	2.4 コンビネータによる計算
	2.5 まとめ


第3章 マルセイユProlog，Prolog Ⅱ，Prolog Ⅲ
	3.1 はじめに
	3.2 準備
		3.2.1 述語
		3.2.2 項
		3.2.3 項の単一化
		3.2.4 節およびHorn節
		3.2.5 論理式の意味
		3.2.6 論理的帰結と導出
	3.3 マルセイユProlog
		3.3.1 Prologの記法
		3.3.2 Prologの計算規則
		3.3.3 Prologプログラムの例
		3.3.4 カット・オペレータ
		3.3.5 DEC-10 Prologとの相違
	3.4 Prolog Ⅱ
		3.4.1 difオペレータ
		3.4.2 freeze
		3.4.3 ループ構造
		3.4.4 Prolog Ⅱのインプリメンテーション
	3.5 Prolog Ⅲ
		3.5.1 制約の枠組
		3.5.2 Prolog Ⅲのプログラム例
		3.5.3 束縛の領域と制約系
		3.5.4 Prolog Ⅲのインプリメンテーション
	3.6 まとめ


第4章 制約論理型プログラム (相場　亮)
	4.1 はじめに
	4.2 制約プログラミング
	4.3 制約の分類
	4.4 プログラムの実行
	4.5 制約の評価
	4.6 まとめ


第5章 オブジェクト指向 (柴山悦哉)
	5.1 はじめに
	5.2 モジュラリティと抽象化
		5.2.1 抽象化
		5.2.2 手続き抽象
		5.2.3 データ抽象
		5.2.4 オブジェクトによる抽象化
		5.2.5 並列オブジェクトによる抽象化
	5.3 共有
		5.3.1 多相型
		5.3.2 継承
		5.3.3 多重継承
		5.3.4 Self
		5.3.5 動的束縛の意義
	5.4 対話性
		5.4.1 クラスの再定義
		5.4.2 表示機能の一体化
	5.5 オブジェクト指向の弱点
	5.6 まとめ


第6章 型推論とML (横田一正)
	6.1 はじめに
	6.2 LCFの超言語からMLへ
	6.3 プログラミング言語と型
	6.4 MLの表現と型宣言
	6.5 MLの型推論
	6.6 LCFへの応用
	6.7 まとめ


第7章 Miranda (加藤和彦)
	7.1 はじめに
	7.2 Mirandaの概観
		7.2.1 等式による定義
		7.2.2 基本データ型と基本演算子
		7.2.3 ガード付き等式とスコープ・ルール
		7.2.4 高階関数とカリー化
		7.2.5 パターン・マッチング
		7.2.6 ノンストリクト性と遅延評価
		7.2.7 ドット式とZF式
	7.3 型
		7.3.1 強い型付けと静的な型付け
		7.3.2 多相型
		7.3.3 型類義
		7.3.4 代数データ型
		7.3.5 抽象データ型
	7.4 処理系
	7.5 まとめ
	7.6 文献の紹介


第8章 項書換えシステムと完備化手続き (大須賀昭彦)
	8.1 はじめに
	8.2 項書換えシステム
	8.3 TRSの停止性
		8.3.1 意味順序
		8.3.2 構文順序
	8.4 TRSの合流性
		8.4.1 完備なTRS
		8.4.2 危険対
		8.4.3 危険対を用いたTRSの合流性判定
	8.5 Knuth-Bendixの完備化手続き
	8.6 KBの応用
		8.6.1 帰納的な定理証明への応用
		8.6.2 等号論理の定理証明への応用
	8.7 まとめ


第9章 等式プログラミングから融合型プログラミングへ (富樫　敦)
	9.1 はじめに
	9.2 等式プログラミング
		9.2.1 等式プログラム
		9.2.2 代表的な等式プログラム
		9.2.3 プログラミング技法
		9.2.4 正則プログラムと正規化戦略
	9.3 条件付き等式プログラム
		9.3.1 条件付き書換え規則
		9.3.2 条件の種類
		9.3.3 利点と問題点
	9.4 融合型プログラミング
		9.4.1 AMLOGシステム
		9.4.2 向付き等式
		9.4.3 実行戦略の変更
		9.4.4 代入操作
		9.4.5 合流するプログラムへの変換
	9.5 まとめ

Permalink | 記事への反応(0) | 18:01

ツイートシェア

■自分の目指すこと、信じることを貫き通せばいい

木工家具の製作で得た資金を手に、24歳の時から4年間アメリカ、ヨーロッパ、アフリカ、アジアへ放浪の旅に出る。ヨーロッパからの帰路、マルセイユで数週間待たされた後、帰国の船に乗り、象牙海岸、ケープタウン、マダガスカルに立ち寄り、インド・ムンバイ（当時のボンベイ）で下船する。安藤は”何かに導かれるように”汽車に乗り、ベナレスに向かった。ガンジス川で牛が泳ぎ、死者が荼毘に付される傍らで多くの人々が沐浴するさまや、強烈な太陽の下、異様な臭気に包まれた果てしなく続く大地、生と死が渾然一体となり人間の生がむき出しにされた混沌世界に強烈な印象を受け、逃げ出したい気持ちを必死にこらえながらガンジス川の岸辺に座り込み、「生きることはどういうことか」を自問し続けた。「人生というものは所詮どちらに転んでも大した違いはない。ならば闘って、自分の目指すこと、信じることを貫き通せばいいのだ。闘いであるからには、いつか必ず敗れるときが来る。その時は、自然に淘汰されるに任せよう」と考え、ゲリラとしての生き方を決心する。1965年、安藤忠雄24歳のときである。

Permalink | 記事への反応(0) | 21:39

ツイートシェア

■君が代はJ-POPの原点

※7/12『砲火の中ではためいて』追加

君が代を現代風にアレンジすると以下のようになる。

日本国国歌　（一青窈 ハナミズキを改変）

曲　http://www.youtube.com/watch?v=B1b2hnivTDk

元の歌詞　http://ja.wikisource.org/wiki/%E5%90%9B%E3%81%8C%E4%BB%A3

『さざれいし』

　すだれを押し上げて

　手を伸ばす君　内裏のこと

　どうか来てほしい

　松原まで来てほしい

　お水をあげよう

　庭のさざれいし

　苔むすまでも可愛い君のね

　果てない治世がちゃんと

　続きますように

　君と君の治世が

　万年続きますように

ついでに、他の国の国家もアレンジして見ると、君が代と違い、ヒーローもののアニソンになる。

君が代がいかに独特の存在であるか、いかにJ-POPの原点であるかがわかる。

フランス国歌　（機動戦士ガンダム）

曲　http://www.youtube.com/watch?v=dMcYz9Vs0jQ

元の歌詞　http://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E3%81%AE%E5%9B%BD%E6%AD%8C

『革命戦隊マルセイユ』

　た　ち　あ　が　れ　

　たちあがれ

　立ち上がれ

　市民

　市民よ　走れ

　まだ革命に燃える

　理念があるなら

　巨大な暴君を

　うてよ　うてよ　うてよ

　血塗られた軍旗を

　掲げよ

　マルセイユ

　革命戦隊マルセイユ　マルセイユ

アメリカ国歌　（訂正：0083じゃなくて、小泉今日子　STARDUST MEMORY）

指摘されるまで本気で勘違いしていた。0083にこんな歌があったのかと新発見のつもりでいた。

曲　http://www.youtube.com/watch?v=ucJlI77V4Mk

元の歌詞　http://ja.wikisource.org/wiki/%E6%98%9F%E6%9D%A1%E6%97%97

『Stars Stripes Memory』

　Stars Stripes Memory　忘れないでいて

　星条旗がはためく　この夜を

　丘の砦に　掲げられた星条旗

　ちょっぴりシャクだけど　砲煙がとまらない

　仕方ないでしょ　独立はじめてなのよ

　自由の大地の　そうよ今これがピリオドなのよ

　Stars Stripes Memory　忘れないでいて

　星条旗がはためく　この夜を

もう一個アメリカ国歌の改変を追加　（機動戦士ガンダム 第08MS小隊）

曲　http://www.youtube.com/watch?v=_XSIe5BRwQs&feature=related

『砲火の中ではためいて』

砲火の中ではためいて

その旗を掲げ続けて

傷ついた　あなたの砦に

星条旗　星条旗　

掲げてあげたい

蒼く果てない大陸（おか）の片隅で

生まれた機運が　今小さくても

あなたの瞳に映る独立を

誰よりそばで　信じていたい

凍りつくような　強い英軍でさえ

その胸に輝く　独立を消したり

そうよ　消したりなんか出来ない

砲火の中ではためいて

その旗を掲げ続けて

傷ついた　あなたの砦に

星条旗　星条旗　

掲げてあげたい

追加

ソビエト連邦国歌　（MS IGLOO 重力戦線　Mr.Lonly Heart）

曲　http://www.youtube.com/watch?v=FfWkT7TPIYk

元の歌詞　http://ja.wikisource.org/wiki/%E3%82%BD%E3%83%93%E3%82%A8%E3%83%88%E9%80%A3%E9%82%A6%E5%9B%BD%E6%AD%8C

『Mr.Communist』

また、ルーシから 一つの声 増えた

飛び出すのは強力な同盟

時代の刃に その心を砕き

主義を信じて こんな祖国へ

ねえ、Mr. Communist

閉ざされた瞳に ソビエトの旗が見えますか

ああ、永久のようで 一瞬の粛清に

焼かれた同志よ

まだ、労働する 使い捨ての人民が

風は運ぶ 行き場もない侵略者（ドイツ軍）の魂

ねえ、Mr. Communist

吹雪吹く大地では 悲しむ労働者はいない

ああ、許されることを知らないまま

消えゆく侵略者（ドイツ軍）よ

終わりもない労働の途中で落とされた

美しい人民の命よ

ねえ、Mr. Communist

同盟を交わそう 破れないように、強固に

もう何ひとつ、失うものはない

労働はじめたら その忠誠で・・・

ねえ、Mr. Communist

閉ざされた瞳に ソビエトの旗が見えますか

ああ、許されることを知らないまま

消えゆく侵略者（ドイツ軍）よ

ゆきなさい

イギリス国歌　(装甲騎兵ボトムズ　いつもあなたが）

曲　http://www.youtube.com/watch?v=JGheZOKQyFg

元の歌詞　http://ja.wikipedia.org/wiki/%E3%82%A4%E3%82%AE%E3%83%AA%E3%82%B9%E3%81%AE%E5%9B%BD%E6%AD%8C

『いつも女王が』

さびしい時も　かなしい時も

いつも女王が目に浮かぶ

ひとりの時も　あいたい時も

いつも女王は神の加護

遠くはなれていても

たとえスコットランド人が反逆しても

この世の栄光とともに

まぶしく　あの日女王が

さびしい時も　かなしい時も

いつも女王が目に浮かぶ

暗殺の危機も　反乱の時も

御世の長さが　しのばれる

女王の加護がつよく

神の加護がつよく

この世の栄光とともに

まぶしく　あの日女王が

中華人民共和国国歌　（科学忍者隊ガッチャマン）

曲　http://www.youtube.com/watch?v=HDqN551TbH0

元の歌詞　http://ja.wikisource.org/wiki/%E7%BE%A9%E5%8B%87%E8%BB%8D%E9%80%B2%E8%A1%8C%E6%9B%B2

『義勇軍の歌』

誰だ　誰だ　誰だ

新たな長城を築く影

偉大な共産党の義勇軍

命をかけて飛び出せば

英雄的な闘争で突撃だ

飛べ　飛べ　飛べ　義勇軍

行け　行け　行け　義勇軍

中華は一つ　中華は一つ

おお　義勇軍　義勇軍

ポーランド国歌　（宇宙戦艦ヤマト）

曲　http://www.youtube.com/watch?v=SXBaxsKeh0w

元の歌詞　http://ja.wikisource.org/wiki/%E3%83%89%E3%83%B3%E3%83%96%E3%83%AD%E3%83%95%E3%82%B9%E3%82%AD%E3%81%AE%E3%83%9E%E3%82%BA%E3%83%AB%E3%82%AB

『流浪国家ポーランド』

さらば故国よ　旅立つ民は

流浪の国家ポーランド

ヴィスワの彼方（かなた）　ヴァルタを越えて

運命背負い　今とび立つ

必ず父は　帰って来ると

手をふる娘に　涙で答え

故国をはなれ　ボナパルトの下へ

はるばるのぞむ　流浪国家ポーランド

さらば故国よ　愛する民よ

流浪の国家ポーランド

故国を救う　使命を帯びて

戦う我ら　もえるドンブロフスキ

誰かがこれを　やらねばならぬ

期待の人が　我々ならば

故国をはなれ　ボナパルトの下へ

はるばるのぞむ　流浪国家ポーランド

東ドイツ国歌　（ドラゴンボール）

曲　http://www.youtube.com/watch?v=e2OIQIhAC5o

元の歌詞　http://ja.wikipedia.org/wiki/%E5%BB%83%E5%A2%9F%E3%81%8B%E3%82%89%E3%81%AE%E5%BE%A9%E6%B4%BB

『摩訶不思議einig Vaterland（一つの祖国）』

耕そう！　einig Vaterland

世界でいっとー　スリルなシュタージ（秘密警察）

働こう！　einig Vaterland

世界でいっとー　ユカイな廃墟

東はでっかい宝島

そうさ今こそ奉仕せん！

胸ワクワクの団結が　GISSIRI

色とりどりの同胞が　DOSSARI

ドイツのどこかで　照らしてる

そいつ見つけにゆこうぜ　

人民の敵を　ぶっとばし

同胞の努力で　今日も飛ぶのさ

Let's pflügen pflügen pflügen　魔訶不思議

空を駆け抜け　壁を越え

Let's lernt lernt lernt　大団結

不思議な国が始まるぜ

手に入れろ！　einig Vaterland

世界でいっとー　てごわい統一

追いかけろ！　einig Vaterland

世界でいっとー　イカした祖国

東はでっかい宝島

そうさ今こそ奉仕せん！

西ドイツ国歌　（ドラゴンボールGT）

曲　http://www.youtube.com/watch?v=65w7qAWcXFY&feature=related

元の歌詞　http://ja.wikisource.org/wiki/%E3%83%89%E3%82%A4%E3%83%84%E5%9B%BD%E6%AD%8C

『DAN　DAN統一したくなる』

（諸般の事情により3番のみ斉唱）

DAN　DAN　統一したくなる

手を携え努力しようよ

統一するのが　幸せの証し

ZEN　ZEN　気にしないフリしても

ほら君と統一したい

果てない経済的停滞(やみ)から飛び出そう（東が）

Deutsches Vaterland!

タイ王国国歌　（創世のアクエリオン）

曲　http://www.youtube.com/watch?v=LI06uVTAH4A

元の歌詞　http://ja.wikisource.org/wiki/%E3%82%BF%E3%82%A4%E5%9B%BD%E6%AD%8C

『中興のチュラーロンコーン』

王国の始まりの日　タイの大地の上で

タイ国民の声の遠い残響　一人で聞いた

失くした領土すべて　維持した領土すべて

この手に抱きしめて　現在（いま）は調和を愛し平和を愛すの

答えの潜むタイ人の血と肉

戦争になれば　血の一滴まで戦うつもり

純粋なるタイ人の持つ魂

傷つかないで　僕の国民

この気持ち知るため生まれてきた

七百年と七十年前から独立してる

七百年過ぎた頃にかなり危なくなった

七千年と七十年あとも独立してる

独立したその日からタイの王朝に栄光は絶えない

イタリア国歌　（となりのトトロ）

曲　http://www.youtube.com/watch?v=INsPKy3Rzd0

元の歌詞　http://rasiel.web.infoseek.co.jp/mil/fratelli.htm

『私は歩兵』

あるこう あるこう わたしは死ぬ気

統一 だいすき どんどん逝こう

かぶとを　かぶれば　覚醒だ

ローマのかぶとで　つよくなったきがする

いのちをすてて　こうしんだ

あるこう あるこう わたしは死ぬ気

統一 だいすき どんどん逝こう

ナポリも ミラノも でておいで

団結しよう 統一の日まで

兄弟たくさん だいじょうぶかな？

あるこう あるこう わたしは死ぬ気

統一 だいすき どんどん逝こう

恥辱も 嘲笑も 出て行って

ヘタリアなんて だれにもいわせない

統一すれば いわれないはず！

統一すれば いわれないはず！！

Permalink | 記事への反応(1) | 10:53

ツイートシェア