久我山菜々+
- いいね数 883,988/891,403
- フォロー 5,000 フォロワー 3,071 ツイート 428,718
- 現在地 50.4509531, 30.52263736
- Web https://scrapbox.io/rebuild-kitashirakawa/
- 自己紹介 臼NG http://keybase.io/nona 本アカウントでの発言は所属する惑星の見解を代表するものです。★☆ サクラハッピーイノベーションを人々の生活にお届けします。
2012年11月24日(土)
∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧∧( 'Θ' )∧
タグ：
posted at 00:34:57
非公開
タグ：
posted at xx:xx:xx
これらの作品のライセンスは、上海アリス幻樂団の定める二次創作のライセンスに準じます。 Licensing of these works is pursuant to the one that is established by Syanhai Alice Gengakudan.
タグ：
posted at 02:14:30
FuniSayaの東方アレンジ楽曲は、基本的には、ぜんぶこういうライセンスにて公開しています。FuniSayaに聞かれれば、そうこたえます 「これらの作品のライセンスは、上海アリス幻樂団の定める二次創作のライセンスに準じます。」
タグ：
posted at 02:15:30
.｡oO(FuniSayaのoriginal楽曲は、古いものはCC by、最近のものはCC by-saにて提供しています。營利での使用を制限する事は有りません。)
タグ：
posted at 02:25:01
.｡oO(例えばFuniSayaのoriginal楽曲・作品を、CC byや或いはCC by-saに従い、そのまま売るのは、全くOKです。やってください。それで、FuniSayaのほうが儲けが少ないのなら、其の責めは100%、FuniSayaの負う所です。)
タグ：
posted at 02:27:54
.｡oO(と云う事で、求められた事すら無いので杞憂なのですが、ライセンスの範囲内であれば、許諾はとりに来ないでください、範囲内であれば、禁止することはありえません。ライセンスに反する場合のみ許諾だ必要です。)
タグ：
posted at 02:31:28
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
みてる："ヱヴァQ冒頭6分38秒の宇宙での「強奪作戦」シーンは宇宙工学立場から見てガチだったことを首都大学東京の宇宙システム研究室が解説したページがスゴイ - GIGAZINE t.co/BMeedC0z"
タグ：
posted at 09:03:19
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
家に持ち帰ってうんぬんのところは，学校に泊まりこみで三日三晩ほぼ徹夜で作業してるためで勘弁してくれ……．ガムテ確認の作業も俺ひとりでやってるんで……．それにしてもあのポイントは本当に俺が悪かった．#謎散策
タグ：
posted at 10:42:05
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
TLにあいぽん4をソフトバンク下取りに出したところ12000円×12ヶ月という割引をもらった人がいて鼻水吹いた。144000円の割引。1000円×12ヶ月が正解なのですが何をどう間違ったやら
タグ：
posted at 15:44:49
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
++++++++++[>++++++++>++++++++++>+++++++++++<<<-]>++.>+.++++.>.<---.>+.+++.<---.++.
タグ：
posted at 18:52:24
電気の恋人～キミは何テラバイト？ / MOSAIC.WAV PLAYBUTTON 1st Stage 電気コレクション #nowplaying
タグ： nowplaying
posted at 18:53:03
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
まずLazy Kとは、Combinatory Logicが基になっている、S、K、適用の組み合わせによってチューリング完全な体系をなす言語。入出力はチャーチエンコーディングされた自然数のスコットエンコーディングされたリストで表現する。
タグ：
posted at 18:58:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
プログラムは、入力の無限ストリームを受け取り出力の無限ストリームを返す関数という実にシンプルなもの。例えば、入力をそのまま返すプログラムは、恒等関数I一つで表される。
タグ：
posted at 19:00:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ありがちなメガネ外したら美少女系のメガネっこはメガネが噛ませにしかなってないから認めないしどうせなら普段は地味だけどメガネかけたらかわいいとか普段から美少女だけどメガネかけたらさらにかわいいとかじゃないとヤダ
タグ：
posted at 19:01:23
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
先日、公職選挙法がどうしてあんなにわけがわからないのかを説明しているまとめをみたところ、要するに、古い爺さんたちが自分の選挙のやり方がずーっと通用するように、新しいやり方や自分が不利なやり方を次々に禁止してきたかららしいと知った。だから「ちょうちん」が好きなのか、と得心した。
タグ：
posted at 19:04:19
非公開
タグ：
posted at xx:xx:xx
SchemeからLazy Kに変換するコンパイラがあるので、サンプルを見ながらLet's Lazy K！ t.co/liEc3X4I Lazy Zもよろしく。 t.co/EoK687UD
タグ：
posted at 19:04:39
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
自由かつ明晰に思考するのは難しい。囚われることなく思考する者は、しばしば曖昧で詰めが甘い。根拠に基づいて厳密に思考する者は、しばしば枝葉末節に囚われ本質を見失う。
タグ：
posted at 19:09:57
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Lazy Kはライブラリなどの内部実装を展開して比較すると実は短い部類に入る。さらに、Binary Combinatory Logicとして考えれば非常に短い
タグ：
posted at 19:14:36
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@kagami_hr こちらも微妙な言い方でしたが、要はまぁLazy Kみたいなのは普段使うには使いづらくても、鑑賞用の言語みたいなもので、チャーチ数はそういう観点から見ればとても自然な(美しい)表現であるというだけです もちろん実用するようなものではないですね
タグ：
posted at 19:20:23
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
なんでかは、わからないけどいま風邪で頭があんまり回っていない証拠としてゲージ理論と微分幾何って検索しようとしたら遊戯王と微分幾何と打ち込んでいた。遊戯王なんてワードはしばらく見ても聞いてもいないのに
タグ：
posted at 20:38:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ガムテが見つかったみたいなので．「点対称の文字を読んでいく」という言いかただと納得がいかないけれど (考えつきませんでした)，われわれが考えていたのは，クロスワードパネルの「黒塗りマスが中心点対称」であることに気づけば，上下ひっくり返しても使える，ということでした．#謎散策
タグ：
posted at 22:38:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
顔画像をもとに類似した顔の人が出てる AV を検索するシステムを作ってて、やっぱり精度はそんなに出ないんだけど、とりあえず今こんな感じのものができてる。 t.co/8EhoLBKW t.co/ZvDn5M1R
タグ：
posted at 23:25:54
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
今日の昼にご紹介した「化学式ピアス」ですが、ネット注文もできるようです。サイトはこちら！t.co/sCBkn5q0 メールアドレスは k.unclarus@gmail.com
タグ：
posted at 23:49:28
