久我山菜々+
- いいね数 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 本アカウントでの発言は所属する惑星の見解を代表するものです。★☆ サクラハッピーイノベーションを人々の生活にお届けします。
2013年04月25日(木)

非公開
タグ:
posted at xx:xx:xx

「ごしゅじんさまー! わふわふ!」もふもふ
「ごしゅじんさまー! わふわふ!」もふもふ
「ごしゅじんさまー! わふわふ!」もふもふ
「ごしゅじんさまー! わふわふ!」もふもふ
「ごしゅじんさまー! わふわふ!」もふもふ
(注:わんこ妄想自家発電自家消費中)
タグ:
posted at 00:02:11

非公開
タグ:
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

クー子フィギュアが一つ発表されるまでにニャル子フィギュアが5つ発表されたが、さすがにファン層が5倍も違う訳ないしハス太フィギュアでも出した方が売れるのでは
タグ:
posted at 00:22:59

非公開
タグ:
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


ぺんぎんさん@C102日曜西お39b @penguin2716
最近1366x768環境を1600x900で使いすぎてデフォルトの解像度だと窮屈に感じてしまうようになった
タグ:
posted at 00:29:12

将来、Unicode以外の文字コードが主流になっているかもしれないが、真面目なプログラミング言語のソースコードの表現フォーマットがプレーンテキストであることはそう簡単に変わらないはず。
タグ:
posted at 00:29:35

非公開
タグ:
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

F*はいわゆるDepTypeな言語とは違って、型と値の区別ははっきりとある。んでもって、型の型としてHaskellと同じくKindがある。Haskell都は違い、Kindにもそれなりに記述力があるぽ。
タグ:
posted at 00:48:02

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

@its_out_of_tune Haskellだとちょい前まで、* と Arrow (->) のKindしかなかったのですけど、最近はADTと同じぐらいの表現力が入りました。F*はまだ詳しくは見てませんけど、もう少し何かありそうな雰囲気で。
タグ:
posted at 00:51:39

真理にたどり着いたか・・・。 RT @ak_shuga_ronin: あれれー? 女の子と絡みだしてからの方が下ネタ多くなってきたぞー? 健全でいたいなら男と絡めってことかなー?
タグ:
posted at 00:52:15

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx


非公開
タグ:
posted at xx:xx:xx

しかし、LLVMを使ったコードタグシステムの類はたくさんあるけど、どれも静的解析の結果をHTML生成とかなんだよなぁ。なんかこう、補完や優れた差分管理、リファクタなどに使った最強のIDEが登場しないかなぁ。
タグ:
posted at 00:54: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

Kindは、Haskellと同じく、型からの昇格しか認められてないぽ。index termは値のサブセットなんだけど、コイツは型に対するパラメータとして使うことが出来る。普通の依存型言語は、このindexに任意の式を用いることが出来るのだけど、
タグ:
posted at 01:06:32

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx


非公開
タグ:
posted at xx:xx:xx

ぺんぎんさん@C102日曜西お39b @penguin2716
1連泊:連泊準備はOK?
2連泊:連泊スタート
3連泊:連泊ハットトリック
4連泊:連泊満塁ホームラン
5連泊:連泊ペンタゴン
6連泊:連泊六芒星
7連泊:連泊ラッキー7
8連泊:連泊1バイト
タグ:
posted at 01:10:58

非公開
タグ:
posted at xx:xx:xx

【大草原の小さな家】
wwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwww
wwwwwwwww🏠wwwwwwwww
wwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwww
タグ:
posted at 01:13:08

非公開
タグ:
posted at xx:xx:xx

ぺんぎんさん@C102日曜西お39b @penguin2716
なんかコマンドの使い方とかサーバの構築ログとかをWikiにまとめたいんだけどおすすめのWikiって何があります?
タグ:
posted at 01:14:23

非公開
タグ:
posted at xx:xx:xx


11.0010010000111111011010101000100010000101101000110000100011010011000100110001100110001010001011100000001101110000011100110100010010100100…
タグ:
posted at 01:17:42

非公開
タグ:
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

しかしGNUコンパイラでコンパイルしたモノは別にGNUライセンスにならないので、z3もz3でチェックしたモノは別にMSPRになるわけじゃないんじゃなかろうか?コンパイラとか検証器は売れなくなるけど。
タグ:
posted at 01:52:11

非公開
タグ:
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

#tsubame 学内KUINS-III ネットワーク速度の低下について: 4月25日現在,学内のKUINS-IIIにおいて,ネットワーク速度の低下が発生しています.
KUINS-III用プロキシサーバに起因する問題で... bit.ly/15OEvqq
タグ: tsubame
posted at 16:01:11

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx


結婚を前提とした彼女を家に連れてきて両親に挨拶したあと、一家のお墓で今はなき祖父母に二人で報告のお墓参りをして、そのとき彼女に向かって「一緒のお墓に入ろうな」というプロポーズのつもりで「ここがお前の墓場だ」と言い放った故郷の知人が来年結婚するそうです。
タグ:
posted at 23:14:05

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

私は2つのUSBメモリを持っている
私は1つにGentoo/GNU/LinuxのLiveUSBを入れ,
私は1つにLinuxMintのLiveUSBを入れている
私はデータ用のUSBメモリを欲している
タグ:
posted at 23:25:20


非公開
タグ:
posted at xx:xx:xx


非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx


タイムラインでコンドーム定理というのが話題に上がってるので半信半疑でググったら…
「男m人と女n人が総当たりする際、必要なコンドームは何枚か?という問題。」本当にあった
タグ:
posted at 23:29:36

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

非公開
タグ:
posted at xx:xx:xx

この「僕を男だと思っている人は多いらしい」って実は本当に男だという場合でも全く嘘を言っていないので我ながらすごい twitter.com/qnighy/status/...
タグ:
posted at 23:36:50


非公開
タグ:
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