久我山菜々+
- いいね数 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 本アカウントでの発言は所属する惑星の見解を代表するものです。★☆ サクラハッピーイノベーションを人々の生活にお届けします。
2014年06月10日(火)
言語を分類したとき(関数型言語)、その分類の特徴としてその分類に含まれる言語が持っていることが多いというだけで、その分類とは直接関係ないものをあげられるのなんとなく嫌
タグ：
posted at 02:10:28
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【香港ラブライバーがコワイよ】 昨日希ちゃん誕生日に、生涯希推しということでタトゥーを入れた猛者が出現www (完成度30%、色塗り待ちだそうだ) #lovelive #ラブライブ pic.twitter.com/wuxhFikS9P
posted at 04:47:06
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Togetter（トゥギャッター） @togetter_jp
.@lkj777さんの「googleがロリエロ八分を実行したとの説 -同性戀並不在初中生存在-」が話題だよ！えっ、チェックしてないって？ togetter.com/li/677379
タグ：
posted at 08:56:04
非公開
タグ：
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
"But there are a tremendously large number of languages, so large that it is impractical to study them all." (◞‸◟ )
タグ：
posted at 09:20:48
非公開
タグ：
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
ドット対でできた、長さNのリストの長さを求めるのにΘ(N)の時間が掛かります、というの、意味は分かるんだけど、なんかしっくりこない表現だ（unbond valueエラーで落ちる）
タグ：
posted at 09:52:53
非公開
タグ：
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
"カスタマーレビュー多数、賛否両論ながら平均の星の数4.6、独特の味わいのドクターペッパー。350ml缶、500mlペットボトル好評発売中。
>> 今すぐチェック"
タグ：
posted at 10:18:56
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
バリュー価格SSD『Crucial MX100』発売。128GB 8000円、256GB 1万2000円でGB単価50円割れ - Engadget Japanese smar.ws/3RoLL #SmartNews
タグ： SmartNews
posted at 10:29:56
今でもあるじゃないですか。経典や聖典から教訓を学ぼうとする人がいて、心温まるエピソード集程度の扱いでエピソードを抜き出して紹介する本なんかが売ってますでしょ。ああいうのが通用してるとこからしても、宗教の反社会性を侮ってますわな。
タグ：
posted at 10:31:21
非公開
タグ：
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:44: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 11:03:41
検索サービスに「〜を排除してほしい」というの、もはや時代のしるしを見間違っている。今はフィルターは各自が行う時代である。やるならオプションでR-18G排除を選べるようにとかそういう方向に進むべきだ
タグ：
posted at 11:04:18
非公開
タグ：
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
TVアニメ「桜Trick」公式 @sakuratrick_pr
【本日第1話】CS・TBSチャンネル1で、今夜から「桜Trick」の再放送がスタートします。平日の深夜3時半から、毎日1話ずつの放送となりますので、よろしくお願いします！ #桜Trick www.tbs.co.jp/tbs-ch/item/a0...
タグ： 桜Trick
posted at 11:16:56
非公開
タグ：
posted at xx:xx:xx
コラ画像を送信する雷bot @ikaduti_collage
#艦これ #谷風 がいつも背中を向けている理由
谷風「冗談じゃないよ、こんな姿、誰も見たくないんだよぉ…」
谷風中破の股間の膨らみが男の子に見えたので
谷風を男の娘にしてみました
こんなに女の子の股間を加工したのは初めてだ…。 pic.twitter.com/6IXRZTe4We
posted at 11:17:32
なんか、「こういう物語を書きたいから、そのためにキャラクターを都合よく動かす」みたいなのが、最近やたら気になっちゃうんだよね。 今やってるアニメとかだと、ラブライブが特にそうなんだけど、なんか、「こういう展開にしたい」って都合でキャラを捻じ曲げ過ぎてる感じが凄く気になる
タグ：
posted at 11:18:33
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ホテルバルティック（クローン）@築29年 @noan6251
@0x_osyoyu まあ確かにリフレクはできそうだけど……＞＜ 危ないのでDDRしましょう♡
タグ：
posted at 11:23:14
非公開
タグ：
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
ケーズデンキの「店長が二人分働かないでください。それだと（50人の部下がいる店の場合）51人が52人分にしかなりません。50人のやる気と生産性が一割増になればそれだけで55人分になりますから、店長はそういう役割に徹してください」もこれまた凄い。
タグ：
posted at 11:46:32
非公開
タグ：
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
しかし www.nsr.go.jp/committee/yuus... のファイル群は電子的に送ったのだろうからアンカーテキストだけ紙で送ってOCRする意味がわからない。いずれにせよ「OCRの問題だからしかたない」で終わってほしくない
タグ：
posted at 12:04:41
非公開
タグ：
posted at xx:xx:xx
ケーズデンキでくっそ噴いたのは、震災後に本社側で「節電しましょう」と言い出した人がいて、普通は「やりましょう」となるところが、本社からも店からも「で、それ店舗スタッフにどういう負荷が掛かりますか」というツッコミが第一であったというところが最高にロック。もう最初っからそれ。
タグ：
posted at 12:09:32
非公開
タグ：
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
ケーズでもうひとつ爆笑したのが水戸駅南口再開発のエピソード。再開発で出来た水戸サウスタワーはケーズ本社から歩いて2分程度の文字通り目と鼻の先で、そこにテナントとして乗り込んで来たのはなんとヤマダ電機のLABI。これは大戦争待ったなしと誰もが思ったところ…
タグ：
posted at 12:18:16
非公開
タグ：
posted at xx:xx:xx
「うちはそもそも駅前に店を出さないんですが」と出店のリクエストを素で断っていたというオチ。自社の本社の目の前にライバル出現しようと「ポリシーに合わない」と、外聞とか見栄で飯が食えるかと言わんばかり。こういう経営はほんと手強い。
タグ：
posted at 12:21:04
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
不法投棄：公演応募券付きポテチ１０００袋…容疑の男逮捕 - 毎日新聞 mainichi.jp/select/news/20...
ポテトチップスには声優の水樹奈々さんのコンサートチケット応募券が付いており、福元容疑者は応募券を切り取って中身を食べずに箱に詰めて捨てたという。
タグ：
posted at 12:38:54
具体的にはメーカーの商業機密だったり、セキュリティ上の機微情報などだ。これらは審査の場では「見え消し」の状態で示され、公開される時にはその部分がマスクされたPDFファイルとなる。公開用の資料も、資料を作成する側、つまり事業者が用意する。
タグ：
posted at 12:42:48
非公開
タグ：
posted at xx:xx:xx
@puyotaroh @7mencho です。あそこは「条件に合わなければ店を出さない」をすんごく徹底するシビアなとこでもありますよ。ひとつ例外なのは、関東以外は買収した会社（ギガスやデンコードー等）がもともと持ってた店の可能性があるのでそういうのは一概に言えないところです。
タグ：
posted at 12:46:12
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
「もし結婚するにしても、その時の相手の女の子の年齢って確実に２２歳以上だよね」って話をすると、「ちょくだいさんロリコンじゃなかったんですか！？」みたいな反応をよくされるんだけど、一体どんな風に思われてるの
タグ：
posted at 12:52:16
ケーズのもうひとつの特徴は「出店コストを安く仕上げてるので、いざ退店となったときのコストも比較的安い」ということ。なので「これはあかん」と思ったらわりとすぐ店を潰して他のところに出します。武蔵浦和の店を潰したのは知らなかったけど、実は今年上尾に店を出すそうで。
タグ：
posted at 12:52:59
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
CoqとかIdrisとかぐらいになると、型にも値にも適用できるデータ構造とか関数とか普通に作れるわけで、そういうすごい依存型持ってる言語ではやっぱり型と値が同列に扱える。
タグ：
posted at 13:11:39
【拡散希望】
お久しぶりです、お元気ですか？
突然ですが、今年も7月30日から8月1日に中1の臨海が行われます。
例のごとくOBの数が少ないそうなので、行けるという人はご連絡ください。
タグ：
posted at 13:17:50
そろそろ「刃渡り十五センチメートル以上の刀、やり及びなぎなた、刃渡り五・五センチメートル以上の剣、あいくち並びに四十五度以上に自動的に開刃する装置を有する飛出しナイフ」に該当してしまうノートPCがあってもおかしくないよね。
タグ：
posted at 13:24:15
これを使えば、空でないリストを要求する関数も作れるし、空でないリストを返すことを保証する関数も作れるわけだ。
(l : List a ** isNil l = False) -> a
a -> (l : List a ** isNil l = False)
タグ：
posted at 13:32:17
非公開
タグ：
posted at xx:xx:xx
isNil l = False の代わりに、文字列がwell-formedであるということを表す型を定義してやれば (s : String ** WellFormed s) とか書くことも理屈の上では可能だ
タグ：
posted at 13:38:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
KITAYAMA Takeshi @kitayamatakeshi
@h_okumura 機密情報を確実に見えなくする為には、一回紙or画像にして目視で確認した後にOCRが確実、という事もあるようです。
twitter.com/f_zebra/status...
twitter.com/f_zebra/status...
twitter.com/f_zebra/status...
タグ：
posted at 13:40:06
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
そういうけど、じゃあ WellFormed s 型はどう定義すればいいのって話になる。もっと簡単な例から出すけど、例えば自然数nが偶数であることを表す型 Even n が作れる。
タグ：
posted at 13:42:40
非公開
タグ：
posted at xx:xx:xx
同人マークという二次創作を許容する意思表示があるのですが、このマークが付与された商業作品は自由な作品と言えますか？ — あれはクソだ。 ask.fm/a/alk9o1mk
タグ：
posted at 13:46:22
非公開
タグ：
posted at xx:xx:xx
こんな感じで、自然数が偶数であることを表す型を作れる。
data Even : Nat -> Type where
even_b : Even Z
even_i : Even n -> Even (S (S n))
タグ：
posted at 13:47:48
異常な性癖を持てば優秀なプログラマになれるんでしょうか？そんなこと無いと信じたいです。 — 非人間的なプログラミングに適正を示すものに非人間的な人格が多いのであって、非人間的であれば優秀なプログラマーというわけではない。 ask.fm/a/alkbceal
タグ：
posted at 13:49:29
非公開
タグ：
posted at xx:xx:xx
依存型がなくてもGADTを使ってこんな真似できる。
enum Even<N> {
even_b : Even<Zero>
even_n<N>(n : Even<N>) : Even<Succ<Succ<N>>>
}
タグ：
posted at 13:49:49
情報メディア概論でMicrosoftの人が来て「未来の物流」みたいなビデオ見てるけど、まぁ順当な拡張（トラックの位置が分かる / 再配達届けがモバイル端末に来る) って感じで「すごい未来」感はないな
タグ：
posted at 13:50:45
Githubの利用規約はどう思いますか？中1以下や人間以外を差別しているので、オープンソースや自由ソフトウェアの開発には使えな... — その制限は、むしろ国家の法律に準拠するためであろうと思われるので、法律を改善するべきである。 ask.fm/a/allnh9l3
タグ：
posted at 13:50:52
非公開
タグ：
posted at xx:xx:xx
C++における、高校受験数学の問題集のようなものがあったらと思いついた。演習問題集だ。現時点での感想を。 — 競技プログラミングという形ですでにあるではないか。 ask.fm/a/alm12qmn
タグ：
posted at 13:51:20
非公開
タグ：
posted at xx:xx:xx
ノートPCのポインティングデバイスはタッチパッドとトラックポイントのどちらが好みですか？ — どちらもクソである。マウスに如かじ。 ask.fm/a/alm2poq7
タグ：
posted at 13:52:19
非公開
タグ：
posted at xx:xx:xx
個人的には 「だって」「だから」「どうせ」「でも」 のような言葉を使わないで生活するようになったら文化も知性も消えてしまうんじゃないかと危惧します。そんなんで満足感を得るくらいなら、多少不幸に感じてももうちょっと知性や文化のある暮らしがしたい。
タグ：
posted at 13:52:47
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@lp6m sleepycoder.github.io/2048/ のを参考にした。詳しいことはsleepycoder.github.io/2014/04/01/204... に載ってる。
タグ：
posted at 15:16:21
非公開
タグ：
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 15:42:15
非公開
タグ：
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 23:11:34
非公開
タグ：
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
