ここは数理Lock研における教員の講義の記録を残すページです †

↑

数理Lock研特別講義 †

↑

追加はここから下に。きっと上が最新。 †

↑

hirobe客員教授 - 1/2公理系 †

- 前提:全ての事象は起こるか起こらないかのどちらかを取る
- 公理:ある確率が確定する確率は1/2とする
例：サマージャンボ宝くじは、「当たる」と「当たらない」の2通りなので当たる確率は1/2。
    しかし、「当たる確率が1/2」となる確率も1/2である。

少佐の演説動画を見ているとtzikとそっくりなことにやがて気が付くでしょう。
http://www.nicovideo.jp/watch/sm2620717

↑

yambi少佐（代行殿）演説 - ブラウザ戦争 †

諸君、私はIEが嫌いだ
諸君、私はIEが嫌いだ
諸君、私はIEが大嫌いだ

デフォルトで入っているのが嫌いだ
アンインストールできないのが嫌いだ
シェルに組み込まれているのが嫌いだ
Windows Updateで使わなければならないのが嫌いだ
バグが多いのが嫌いだ
セキュリティホールが多いのが嫌いだ

95で 98で Meで 2000で
XPで Vistaで MacOSで Unixで

世の中に存在するありとあらゆるIEが大嫌いだ

綿密に入り組んだHTMLとCSSが IEによりいい加減に解釈されるのが嫌いだ
CSSファイルのセレクタ毎に並べた属性と値がページ保存でバラバラにされたときなど心 が沈む

OSと密接に関連しているのが嫌いだ
悲鳴を上げてIEに読み込ませたWebサイトが
OSごとクラッシュさせたときなど 胸がすくような気持ちだった

悪徳な業者により放たれたJavaScriptが私のシステムを蹂躙するのが嫌いだ
恐慌状態に陥った初心者がポップアップを何度も何度も消している様など嘔吐すら覚える

IEのみ利用出来るActiveXが嫌いだ
ActiveXの脆弱性が 吊し上げられている様などはもうたまらない

不安定なIEが私のクリックしたページと共に金切り声をあげるOSにばたばたと薙ぎ倒さ れるのは最低だ
哀れな抵抗者達が雑多な小細工で健気にも立ち上がってきたのをOSがシステムごと木端 微塵に粉砕した時など絶頂すら覚える

CSSまわりが無茶苦茶な実装なのが嫌いだ
必死に作成したcssファイルが蹂躙され
IEでだけレンダリングが崩れてしまう様はとてもとても悲しいものだ

MSの物量に押し潰されて 殲滅されるのが嫌いだ
IE7に追い回され Lotus 1-2-3の様に地べたを這い回るのは 屈辱の極みだ

諸君 私はIE撤廃を 天国のようなIE撤廃を望んでいる
諸君 私のブログを読むWindowsユーザ諸君
君たちは一体 何を望んでいる?
更なるIEを望むか?
情け容赦のない糞の様なIEを望むか?
鉄風雷火の限りを尽くし三千世界の鴉を殺す嵐の様なIEを望むか？

Firefox!!
Opera!!
Safari!!

よろしい ならばIE撤廃だ
だがこの窓の中でインターネット普及以来耐え続けてきた我々にただのIE撤廃ではもは や足りない!! 

Outlook Express撤廃を!!
Windows Live撤廃を!!

我らはわずかに30%に満たないシェアにすぎない
だが諸君は一騎当千の古強者だと私は信仰している
ならば我らは諸君と私で総力70%のネット廃人となる

IEを最高と信じて眠りこけている連中を叩き起こそう
彼らの髪の毛をつかんで引きずり降ろし眼を開けさせ思い出させよう

連中にIEのひどさを味あわせてやる
連中にIEの危険さを知らしめてやる

天と地のはざまには奴らの哲学では思いもよらない危険がある事を思い出させてやる

一千個のIEのセキュリティホールで
連中のOSを燃やし尽くしてやる

「XSSコマンド発動開始」
「バッファオーバーフロー発動」
「最後のIEユーザにバックドアを」
目標microsoft.com

第二次 ブラウザ戦争 状況を開始せよ

征くぞ 諸君
↑

tzik少佐（代行殿）演説 - 関数プログラミング †

諸君、

私は関数プログラミングが好きだ

諸君、私は関数プログラミングが好きだ
諸君、私は関数プログラミングが大好きだ
 
Lispが好きだ
Schemeが好きだ
Haskellが好きだ
Erlangが好きだ
map関数が好きだ
fold関数が好きだ 
継続が好きだ
クロージャが好きだ
モナドが好きだ
ユニフィケーションが好きだ
再帰呼び出しが好きだ

レポートで　趣味で
最適化で　シミュレーションで
カスタマイズで　Emacsで
並列プログラミングで　サーバで
画像処理で　シャノンのスイッチングゲームで

この地上に存在するありとあらゆる関数プログラミングが大好きだ

関数プログラミングがエレガントな構造を作り上げるのが好きだ
再帰で複雑な構造を簡潔に記述できた時など心がおどる！！

副作用で計算を主導しない関数プログラミングの特性が好きだ
副作用を排除した並列プログラミングでサーバを記述した時など胸がすくような気持ちだった 
  
Lispでデータとプログラムの区別がないことが好きだ
遺伝的アルゴリズムによって最適な解を得たときなど感動すらおぼえる

継続を駆使して例外や大域ジャンプを実装した時などもうたまらない
モナドによって副作用を完全に封じ込めたのは最高だ

副作用だらけのバギーなアルゴリズムで書かれていたのを
簡潔な再帰でバグフィックスした時など絶頂すら覚える！！

仕様以上の柔軟なプログラムを関数プログラムで書くのが好きだ
それが再帰を理解する頭を欠いたゆとりプログラマにいじくり回されるのはとてもとても悲しいものだ 

関数プログラムで「とんがった」コードを書くのが好きだ
「再帰は理解できない」などと言われるのは屈辱の極みだ

諸君　私は関数プログラミングを　ラムダ算法の様な関数プログラミングを望んでいる
諸君　私に付き従う関数プログラミング好きの諸君　君たちは一体何を望んでいる？
更なる関数プログラミングを望むか？
情け容赦のない糞の様な関数プログラミングを望むか？
簡潔でしかもパワフルな、神々の言語のような関数プログラミングを望むか？


関数プログラミング(functional programming)！！　関数プログラミング(functional programming)！！　関数プログラミング(functional programming)！！ 
 

よろしい　ならば関数プログラミング(functional programming)だ！！

だが、手続型プログラミング全盛の業界で副作用とバグに耐え続けて来た我々には
ただの関数プログラミングではもはや足りない！！
純粋関数プログラミングを！！　一心不乱の純粋関数プログラミングを！！

我々はわずかに小数　千人に満たぬギークにすぎない
手続型プログラミング言語しか理解できないゆとりプログラマに比べれば物の数ではない
だが諸君は一騎当千のスーパープログラマだと私は信じている
ならば我らは諸君と私で総兵力100万と1人のハッカー集団となる
我らを忘却の彼方へと追いやり、ヌルい技法しか理解できない連中を叩きのめそう
髪の毛をつかんで引きずり下ろし　眼(まなこ)をあけて思い出させよう

連中にプログラミングの面白さを思い出させてやる
連中にハッカーの凄みを思い出させてやる
関数プログラミングには奴らの哲学では思いもよらない美とパワーがある事を思い出させ てやる 
1000人のスーパープログラマの集団で　世界を関数プログラミング言語のコードで埋め尽くしてやる

目標　C10K問題の起きえないHTTPサーバ

アーラン作戦　状況を開始せよ

逝くぞ

諸君
トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS