反出生主義に対する、ありがちな否定意見に反論してみます(`・ω・´) 「子供を作るのは自然な行いだ」 自然主義的誤謬。自然な行いが正しいとは限りません。また「それができる」は「それをすべき」を意味しません。 「何で自殺しないの?」 反出生主義は自殺を勧めません。むしろ普通の人より生命、人権、動物の権利を尊重しています。 人命を尊重するからこそ、まだ生まれていない人間は生まれて来ないままの方が良いと考えるのです。 生と死はセットです。「死を避けたい」と言うのが反出生主義の理由の一つ。他人に死を勧めたり強要する方がおかしいと思います。 「ネガティブなだけでしょ」 人間は楽観的に考える傾向があります。抑うつリアリズムでネガティブな人間の方が物事を正確に捉えている可能性が高いです。 「人生には生きる価値がある」 しかし始める価値はない。 「赤ちゃんは可愛いよ」 美は見る者の目に宿る。赤ちゃんを可愛
0002名無しさん@お腹いっぱい。2017/11/02(木) 21:24:29.50ID:HFPPKdrw 麻布→2浪→京大、"ブロンズさん"こと早川輝まとめ http://yomogi.2ch.net/test/read.cgi/net/1438302072/ 大学時代の前科 http://google.com/search?q=site%3Awww.kyoto-u.com+%E3%81%A1%E3%82%93%E3%81%93 過去の土下座 http://sports11.2ch.net/test/read.cgi/muscle/1200210256/589 2chの活動記録 http://google.com/search?q=%E3%81%A1%E3%82%93%E3%81%93+GbXlaaQNk Overwatchを卒業し、現在はCS:GOでプロを目指して爆進中 https:/
パーサライブラリの現状 Haskellではパーサライブラリは様々なところで使用されています.例えば,Haskellでのデファクト的なJSONパーサライブラリaesonは,JSONデータのパースにattoparsecというライブラリを使用しています.GHCはHaskellプログラムのパースにalex/happyというレクサーとパーサを利用しています.HTTPライブラリでは,parsecを軽量パーサとして使っています.このライブラリでは,WWW-AuthenticateヘッダやSet-Cookieヘッダの内容をparsecでパースしています. このようにパーサライブラリは非常に需要が高く(文字列をパースするというのは,日常的に出くわす状況ですからね),Haskellでは様々なパーサライブラリが存在します.この記事ではそれらのパーサライブラリの簡単なまとめ と比較 を行います. さて多くの数があ
この記事は Haskell Advent Calendar 2017 (その1) の 10 日目の記事です。 スーパーモナド (supermonad) という気になる概念を見かけたので、ちょっと調べてみました。 スーパーモナドとは 世の中には、私たちがよく知っている普通のモナド1 以外にも、モナド的概念がいろいろと存在します。たとえば、こんなのがあります。2 指標付きモナド (indexed monad) https://hackage.haskell.org/package/indexed https://hackage.haskell.org/package/monad-param https://hackage.haskell.org/package/index-core 作用モナド (effect monad) https://hackage.haskell.org/package
C++17の参考書、江添亮の詳説C++17はすでに書き上げて、来年の出版を待つばかりになっている。 https://github.com/EzoeRyou/cpp17book 次に書く本はC++の入門書にしようと思っているが、入門書を書く前に、少し時間をかけてHaskellを学ぼうと思っている。 なぜHaskellを学ぶのか。Pandocのためだ。 Pandoc 私の本は、Markdownで書いてPandocで各種フォーマットに変換している。アスキードワンゴでは、Pandocを使ってlatexに変換した上で、手作業で出力されたlatexを編集して組版している。つまり、私の参考書の執筆はPandocに支えられていると言ってよい。 さて、アスキードワンゴ編集部(ドワンゴ)は私が本を出版契約している出版社であり、かつ私が雇用契約している会社でもある。アスキードワンゴの編集者は私の編集者であり同僚
これは「Haskell (その2) Advent Calendar 2017」の1日目の記事です。遅くなってすいません。 読者として末尾再帰ぐらいは理解しているHaskellerを想定しています。 トップレベルとローカル関数 再帰を用いて関数を書いているとき、トップレベルで再帰するか、ローカル関数で再帰するか、ときどき迷う。この記事では、僕なりの判断基準を示したい。 Data.Listで定義されている再帰が必要な関数は、ほとんどがトップレベルで再帰している。代表例のmapの例を見てみよう。 map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs mapをローカル関数を使う実装にしてみよう。この記事では、ローカル関数名としてgoを用いる。(loopを使う流儀もある。) map' :: (a -> b)
映画「ワンダーウーマン」に主演した女優のガル・ガドットさんが、近親相姦もののポルノに出演しているように見えるムービーが作成されました。プログラマーによって作られた映像は非常にリアルですが、機械学習のアルゴリズムを利用して作られたものとなっています。 AI-Assisted Fake Porn Is Here and We’re All Fucked - Motherboard https://motherboard.vice.com/en_us/article/gydydm/gal-gadot-fake-ai-porn 以下が公開されたフェイクポルノ。画像をクリックするとムービーを見ることが可能で、動きといい表情といい、かなり自然な仕上がりであることがわかります。 ムービーを投稿したのは海外掲示板・redditの「deepfakes」というユーザー。deepfakesさんはTensorFl
2004年に「エレコムは金輪際リナックスを使わない」と威勢の良い捨て台詞を吐いてLinuxから撤退していたエレコムですが、この度晴れてLinuxに再参入するそうです。 PC Watch で「エレコム、Linux採用でコストパフォーマンスと高めた小規模オフィス向けNAS~接続台数が増えたときの速度安定も売り 」という見出しを目にして、目を疑ったのですが、「ハイスペックながらコストパフォーマンスを重視! 導入から日常の管理まで簡単に使える、小規模オフィスにお勧めのLinux搭載NASを発売」とプレスリリースも出ているのでどうやら確定情報のようです。 FreeBSDベースにしておけば、FreeNAS、NAS4Free等の優秀なNASソリューションをベースにすることもできたはずなのに、なぜあえて因縁深いLinuxを採用したのか理解に苦しみます。 意地の悪いタレコミ子としては、上記のプレスリリースで
【シンガポール=吉村英輝】日本軍占領下(1942〜45年)の慰安婦を象徴するフィリピン人女性の像が、首都マニラに設置されたことが11日までに分かった。政府機関「フィリピン国家歴史委員会」が、現地の民間団体などの支援を得て建てたという。フィリピン国内に慰安婦像が建てられたのは初めてとみられる。在フィリピン日本大使館はフィリピン政府へ抗議した。 像が設置されたのは、マニラ市のマニラ湾に面したロハス通り沿いのベイウォークと呼ばれる遊歩道上。夕日を眺める名所として観光客も多く、周辺にはフィリピン政府庁舎や、日本を含めた各国大使館がある。 同委員会は学者らで構成され、歴史的建造物への碑文設置などを行う。ホームページに今月6日、慰安婦像の除幕式を8日に実施し、碑をマニラ市のエストラーダ市長(元大統領)に引き渡すと発表していた。
Haskell アドベントカレンダー 2017 (その3) の12日目の記事です. GHC 8.2 より新しく追加された Backpack というモジュールシステムを知ってますか? Backpack は個人的にすごい注目してる機能なんですけど,いかんせん日本語ドキュメントが皆無なんで,イロイロ調べたことを書いておこうと思います. ただ,英語雑魚勢なので勘違いしてる部分もあるかもしれないので,その時は指摘してください 人 基本的には matsubara0507/awesome-backpack リポジトリにまとめてます(コッチの方が新しいこと書いてあるかも). ちなみに,今回の記事は11月の頭に作った以下スライドをベースに書きます. 注意: 実は Backpack は2つある Backpack は何年も前から学術的に研究されていた機能で,その研究過程には少なくとも2段階ありました. Back
Haskell (その3) Advent Calendar 2017 11日目の記事。(予約投稿知らなかったのでフライングになった) GHCがコンパイルの途中で中間表現として用いるCoreの生成っぷりを観察する。 観察して、あーはいはいなるほどね(わかってない)、と言うだけになりそう。 はじめに GHCはHaskellのソースコードを低レベルなコードへとコンパイルする過程で様々なpass(コンパイルのステージ)を通じてプログラムデータを変換する。 俯瞰図は下記のリンクに詳しい。 Compiling one module: HscMain 僕がGHCの話をどこかで聞きかじってかっこいいな、と思ったのは、 GHCがコンパイラの中間言語として定義しているCoreを知った時。 このCoreと名付けられた中間言語はDesugar passにて生成され、下記のような性質を持っている。 小さな構文 3つ
「Windowsではメモリの内容をHDDにページングしているから電源を切っても消去されない」ってマジですか? スリープやハイバネーションではなくて? それともスワップファイルに重要情報が入ってしまうという話でしょうか. ググっても出てこなかったんですが, 確かに停電した時再起動したら, アプリケーションの状態が復元されたことがあるので, そういう機能があるのかもしれません. HDDを物理的に壊すセキュリティ施策を聞いて, 家宅捜査の直前にドリルでHDDを破壊したドリル姫こと小渕優子衆議院議員のことを思い出しました. ドリルでHDD破壊…検察を本気にさせた小渕優子氏|政治|ニュース|日刊ゲンダイDIGITAL BYODできない職場って環境作るのつらそう… Ustreamが存在してたりTwitterやGoogleのロゴが古かったりして時代を感じます. NTTデータの動画でIoT時代に備えるデー
Haskell Advent Calendar 2017 その3(!)、7日目の記事です。 HaskellでRESTサーバを書くライブラリはいくつかあるようですが、私が気に入っているのはservantです。対抗馬としてはScottyがあると思いますが、servantはより型に安全なそうなのと、APIのあり方が好きです。 servantはごく薄い機能しか提供していないので、本格的なRESTサーバに必須のDB連携を自分で書く必要があるのですが、巷にはこのサンプルが少ない気がしています。 また高レベルなDBアクセスフレームワークとしてはpersistentが有名だと思うのですが、servantと組み合わせた例が本家GitHubにあるにはあるのですが、persistentのバージョンが古くインターフェイスが変わっているのでコンパイルに通らなかったりするし、コネクションプーリングを使っていないので実
Haskell入門失敗.md この記事はHaskell (その3) Advent Calendar 2017の5日目の記事です。Haskellの環境構築につまずいた経験をシェアーします。 2017年、Haskell入門元年 関数型プログラミング言語の親玉Haskell。昨今の関数型ブームで学びたいと思ってる人も多いんじゃないでしょうか。 今年は『Haskellによる関数プログラミングの思考法』『Haskell 教養としての関数型プログラミング』に『Haskell入門 関数型プログラミング言語の基礎と実践』と入門書がバンバン出ています。 まさしくHaskell入門元年ですね。 というわけでこのビッグウェーブに乗じて入門しようと思ったのですが、環境構築で失敗しました。 利用環境と構築しようとした環境 Haskell入門 関数型プログラミング言語の基礎と実践を参考に、Stackを用いた環境構築を
Haskellでは、中置演算子を自由に定義することができ、多くの中置演算子を活用してプログラムを書きます。 module Main where (<=>) :: Ord a => a -> a -> Ordering a <=> b = compare a b abs' :: Int -> Int abs' x = case x <=> 0 of LT -> -x _ -> x answer :: Double answer = 2 + 4 * 2 * 10 / 2 main :: IO () main = do print . abs' . read =<< getLine print answer -- このmainはすこしやりすぎ GHCは、すべての中置演算子を左結合と仮定して構文解析を行います。 その後、Renamerと呼ばれる層でinfix宣言に基づいた構文木の書き換えを行うこと
はじめに この記事はHaskell Advent Calendar 2日目の記事です。 この記事では、書籍「すごいHaskellたのしく学ぼう!」(以下すごいHの本)の15章を参考に、Zipperを使ってリストや木構造を"純粋に"操作する方法を紹介します。 初めての挑戦なので自分の中でZipperを整理しようという意図もありますが、その際の知見をお裾分けしてみようと思います。 Zipperって何? Haskellではリストや木構造は再帰的に定義されていています。こうした構造では先頭の値を変更することは容易ですが、途中の値を変更するには以下の手順を踏む必要があります。 変更したい場所まで構造をたどる その場所より後ろにある構造($L_{tail}$)と、前にある構造($L_{init}$)を切り離す $L_{tail}$に新しい値を継ぎ足し、さらに$L_{init}$をつなぐ もし複数の値を
年収400万円あればクルマを購入したいとする20代の若者は4割との数字が明らかになりました。 同年収なら未婚者より既婚者のほうが前向きに 年収400万あれば自家用車の購入に前向きな若者は、約4割いることが明らかになりました。三井住友銀行グループのSMBCコンシューマーファイナンス(東京都中央区)が2017年10月初頭、20代の男女1000人を対象に「20代の金銭感覚の意識調査」と題し、インターネット上で調査した結果によるものです。 年収400万円で、クルマを購入したい人は4割との調査結果が。写真はイメージ(画像:マツダ)。 それによると、自家用車について、「所有しよう(購入しよう)と思える年収(世帯年収)は?」という設問に対し、過半数が購入したいと回答したのは年収500万円からで、55.6%(累積比率。それ以下の額面とした回答も算入した、全体に対する割合)とのことです。年収400万円では3
黒体とは光を反射しない物体のこと. 反射しないので普通は黒色になる. しかし太陽も黒体. プランクはレイリー・ジーンズの法則とボルツマンの法則に矛盾が存在することを発見して, 法則をハックしてプランクの法則を導出した. プランクの法則は量子を仮定しているが, プランク自身は量子に懐疑的だった. これは数学的なテクニックだと考えていた. アインシュタインは光は量子=光子の集まりだと考えた. 光子を金属に当てて電子をビリヤードのように飛び出させる光電効果を光量子仮説で説明した. リンゴの色が本当に赤色かどうかという話を聞いて, クオリアの話だと思ったら違いました. リンゴの色が赤いのは赤を多く反射するから赤い. 光源が無いと人間には黒く見える, というか見えないが, リンゴにも温度があり, エネルギーがある以上少量の発光をしている.
今日の晩御飯は? サバの味噌煮。 おいしいおいしい。 「うっ!?」 誤って飲み込んだ骨が ノドに刺さってしまったようだ。 (コーラを飲まなくちゃ) コーラ・・・・・ (・・・コーラ?) (なんでコーラを飲むんだ?) ・・・・・・・? ああっ!! ・・・・思い出した。 幼いころ魚の骨が今と同じように ノドに刺さってしまった時の事です。 母はコーラを私に突き出して言いました。 「コーラで骨を溶かすのよ」 えっ?! つまり母は 「コーラを飲めば ノドに刺さった骨が溶けるだろう」 と言うのです。 さすがお母さんだ!!! お母さんはなんでも知ってるなぁ! 母の知恵に感心した私は コーラをゴクゴク飲み干しました。 めでたしめでたし。 ・・・・・・・・・・・・・・・ ・・・・・・・・・・・・ ・・・・・・・・ そんなワケあるか!!! ぐええええっ・・・・・ 30年近くこんな話を信じていたのか!? そんな
この記事は、 Rust Internal Advent Calendar 2017 の7日目の記事である。 疑問 日常における前提 最後の式がセミコロンで終わっているようなブロックは、全体としては unit 型 (()) となる。 fn main() { let _: () = { 42; }; } 42; はセミコロンで終わる式なので、ブロックの型は unit (()) となる (playground) 絶対に実行が返ってこない、また値が作られないことを示す ! 型 (never type) [0]は、いかなる型へも暗黙に型強制[1]できる。 #[allow(unreachable_code)] fn main() { let _: i32 = panic!("Hello"); let _: Option<()> = ::std::process::exit(0); } panic! や
「スカパーやWOWOWなどの有料CS放送はどうやって契約してない人に見せないようにしてる?」という質問をして, とある学生が「B-CASでユーザー識別をしてる」と答えたんですが「それは違う」とのこと. 正確にはB-CASのキーで復号をしてますが合ってると思うんですけどね… その後B-CASカードに暗号キーが含まれているとか言っていてやっぱり合ってるじゃないですか. なんでこの人生徒の答えがこれから話す内容と同じ場合も否定するわけ? 頭スティーブ・ジョブズかよ. 「NOTTVが倒産した」という話をしていたので「NOTTVってNTTドコモのサービスじゃなかったっけ? と思ったら株式会社mmbiが運営しててNTTドコモが吸収して解散したようですね. 6月終了のNOTTV。ネット業界なら日本の歴史上最大の累損1,166億円でドコモに吸収合併・解散へ 量産品は強いという話. 「特殊な演算独自チップは
はじめに なんか気づいたらアドベントカレンダーに登録してた。 webスクレイピングの10日目だ。 beepcapである。 webスクレイピング... 最近はwebスクレイピングなどとかっこいい名前が付いているが、 昔はwebクローラといった気がする。厳密な定義がどうかは分からんのだが、 軽く調べてみても両者を明確に区別する文言は見つからない。 本記事ではwebクローラと言うことにする。 さて、古くからwebを扱っている人間にとって、 webクローラというのは親の敵のような存在だ。 ネットワークが従量課金性であった時代では、 アップロードとダウンロード双方に回線料が発生するのだ。 クローラにアクセスされた分の料金を支払わねばならない個人サイトの運営者は とにかくクローラを排除する必要に迫られた。 その検出手法と攻防の推移を紹介しながら話を進めよう。 基本編 初歩的なクロール対策 「初歩的な」
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
SNSが最もよく見られる時間帯は、21〜22時です!この時間に回答や質問募集投稿をすれば、さらに質問が貰えるかも!?
Welcome! How to get & use Stack How Stack works (advanced) Stack's code (advanced) Signing key Glossary Version history Install or upgrade¶ Install Stack¶ Stack can be installed on most Linux distributions, macOS and Windows. Stack is open to supporting more operating systems. To request support for an operating system, please submit an issue at Stack's GitHub repository. Info In addition to the m
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く