数学

文脈付き構成的意味論を構成的意味論に変換する

mandel59.hateblo.jpここでは, 自然数の集合 に0を含めることとする。記法 は を表す。 の時は を表す。 記法 は を表す。 の時は (真理値の真)を表す。 形式言語 形式言語 は関手集合 , 関手の項数 からなる組である。 式 形式言語 の式集合 を, つぎの帰…

0の0乗が1でないと困る

qiita.com参考になる

0の0乗

はてなブックマークで、0の0乗についての記事がホットエントリーになっていた。0の0乗の正解がネット検索しても見つからないので作成した。 | 子育ての達人 | 妊娠・出産・育児・子育ての毎日を楽しく「いろんな言い分は多々見受けられましたが、正しい解答…

内包記法についての考察

発端 @tenapyon f(A) = {f(x)|x∈A}, f(B) = {f(x)|x∈B} としたら f(A)∩f(B) = {f(x)|x∈Aかつx∈B} = {f(x)|x∈A∩B} = f(A∩B) というのは誤りでしょうか。— 結城浩 (@hyuki) January 6, 2015 https://twitter.com/kagami_hr/status/552436576576602113 https://…

改訂版

微分も要らないようになった。 function onLoad(){ logo.init(); move(100); turn(90); move(-100); penDown(); var x = new Function('t', 'return t;'); var y = new Function('t', 'return t*t;'); graph(x, y, 0, 1, 1/32, 200); penUp(); } function gr…

雪片曲線

タートルグラフィックスで再帰で雪片曲線は基本ですよね どうせ再帰の記事は後で書かれるだろうから僕は別のネタを考えたり考えなかったりします http://junk.wise9.jp/js/ function onLoad(){ logo.init(); turn(90); move(-180); penDown(); koch(5,360); …

亀に好きな曲線を描かせる

微分して亀に好きな曲線を描かせよう。 1. 曲線をパラメーター t で表示する 2. x,y を t で微分する 3. 下の例を参考にプログラムを書く 放物線 function onLoad(){ logo.init(); move(100); turn(90); move(-100); penDown(); graph(0, 1, 1/128, 200); pe…

等号付き不等号

等号付き不等号は、日本では≦がよく使われるけれども(JIS X 0212に入っているのもこれ)、 国によって≤や⩽のように少しだけ違う記号を使うことがある。AR P Mingだと≤のコードポイントのグリフが⩽になっているけれども、⩽が数学演算子補足に入っていることか…

フィードバックと複雑系

webカメラでパソコン画面を撮影したらおもしれー - ニコニコ動画 写像を繰り返し適用すると、複雑な模様になる。 やりかたによっては、綺麗なフラクタルも映し出せる。 自分でもこの前同じことをやってみた。カメラの質が良くなかったけれど、像が巻き込まれ…

数え方

広義の記数法 - Wikipedia

数学α 範囲

固有値と固有ベクトル 固有値固有ベクトルは求めさせられます。

極座標

Polar Coordinates « Walfas

オープンソースカンファレンス2009 Tokyo/Spring

今日OSC 2009 Tokyo/Springへ行ってきました。 午前中は授業があったので、午後から参加。 新大久保駅着。会場まで勘で歩く。(前にも来たことがあるけど、そのときは大久保駅からだった。)この辺りは中国語や韓国語やたまにタイ語の看板があって面白い。網…

フラクタル無題3

フラクタル無題1

無限の環から脱け出すには

id:chnpkさんのダイアリーから話は始まる。 私は科学的区別を排除しようとしたのだが、【ものごとを盲信せずに常に疑う姿勢を科学的な振る舞いと言うなら、科学に対して盲信的な】疑似科学批判と言う疑似科学を批判することで、自らが科学的に振舞ってしまっ…