私と型システムとポエム
最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti
ブログ停止のおしらせ - 玖足手帖-アニメブログ-
障害年金が不支給になった。かなりショックでブログを書く気力がなくなった。手足の感覚が鈍くなり、呼吸が浅く苦しくなった。 www.huffingtonpost.jp 障害年金がもらえないと、リボ払いの借金が返せない。 母親が自殺した家から独立できず、母親を自殺させた父親と二人暮らしのまま毎日ストレスがたまる。 ストレスがたまるので自律神経が崩壊し、毎日嘔吐するし不眠症が悪化する。 不眠症が悪化すると内臓が休息できず、嘔吐腹痛下痢が数か月続く。 そのため、体力が喪われ、ブログが書けない。 ブログが書けないと、僕の生存する価値がなくなり、自殺する。 医師に診断書を書いてもらったところ、「症状は重いので年金は出る。しかし最低賃金ブラックバイトでも収入があると判断されると支給されない」と言われた。 どうやら国は僕に対して、自立して精神を整えてGレコのブログを書くより、母親が自殺した家でうつ病のまま最
死んだ息子の「花嫁」を求めて遺体を奪い合う人々 | 死者たちがあの世で結ばれる「冥婚」の衝撃
西安市では2005年、冥婚用に売ろうと成人女性6人分の遺骨を盗んだ男が逮捕された PHOTO: VCG / VCG / GETTY IMAGES 若くして亡くなった子供のために、あの世で添い遂げる「伴侶」を用意する──。中国の一部地域では、未婚で亡くなった若者の魂を弔うために亡くなった男女が挙式をあげる「冥婚」の儀式がいまもおこなわれている。 だが、圧倒的に男性の数が多い農村は深刻な「嫁不足」だ。若い女性の遺体が高値で売買されることから、遺体の闇市場が急激に拡大し、冥婚目的の盗掘や殺人事件が頻発している。 「花嫁の訃報」を心待ちにする人々 「私にとっての最大の浪費は、女性の遺体を火葬することです」 ──山西省洪洞県の病院で働く王勇（ワン・ヨン）はそう、中国誌「中国新聞週刊」で語った。 彼によれば、病院の霊安室に若い女性の遺体が安置されていることはまずないという。若い女性が危篤だという噂が流
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
福島県で梅毒患者が急増中 (1/2)
