関数型Scalaという勉強会でproperty based testingについて話をした - xuwei-k's blog
Scalaの勉強会で半分くらいHaskellの話してすいませんでした。 http://xuwei-k.github.io/slides/scalaprops/ http://connpass.com/event/16052/ http://togetter.com/li/852254 資料はりきって頑張り過ぎたらとても長くなりました(150ページ超えた) 今までで一番頑張ったかもしれません。ここ半年くらいの成果を全部詰め込んだ感じです。 あとで資料として読んで理解してもらうこと前提で色々詰め込んだので、1年後でも2年後でも、興味のある人が見て有用な資料になればいいですね・・・。 ところで、スライド作るのに、今回から remark というやつ使いました https://github.com/gnab/remark markdownで書けて コードのシンタックスハイライト効いて ページ数表示と
日本人の脳が英語をリスニングするために必要なこと
前回ここでリスニングの学習法を書いたところ思いのほか反響を得ることが出来た。 http://anond.hatelabo.jp/20170522214348 今回は実際のところどうやってリスニングしているかをまとめてみようと思う。 人はどうやって音を聞いて言葉として理解しているのかリスニングは無意識下で行われる実に精妙なプロセスで、自分でもどうやっているのか正確にはわからないが、注意して観察すれば大まかなところは分かってくる。 まず単語について。日本語は「交渉、高尚、考証、公傷、公称」のように同音異義語が多い言語だ。「こうしょう」は広辞苑で50の見出し語を持っているという。対して英語は単語の意味が時代とともに付け加わり多義的になっている。Random HouseでTakeを引くと126の意味が登録されている。 どちらにしても、音を聞いただけでは単語の意味を特定することは出来ず、文脈から単語
話題になってるpixiv論文の件に関して研究倫理問題に少しだけ詳しい人たちによるまとめ
あでのい @adenoi_today 割と特殊事例の研究倫理問題であって無断転載とかその辺とは全く話が違うと思われ。 まあ今後「特殊事例」でなくなっていくんちゃうかなあとは思うけど。 2017-05-25 12:47:18 Die@C99二日目(金) 南む-23a @die3035 今回の件はネット上のデータを扱っていく研究分野において、これから予測されるであろう、ネット上におけるいくつかの価値観との衝突と、そこへの配慮性をどうするかという、研究分野としての倫理規程をどないするかの問題だと思うので、大学に言うてもしゃあない気がするんだよなぁ 2017-05-25 12:52:53 あでのい @adenoi_today 「デリケートな問題とバッティング起こす可能性が高い研究」くらいの感じかなあ。pixivに投稿した小説をどこまで通常書籍と同じように研究対象として扱って良いか、に関してはそもそ
『昔、痴漢にあった時の話』の実録漫画に様々な反響「素晴らしい勇気」「こういうのが正しいやり方」
ダイエットする 懸垂１０回やれるようになる デ力チンマン @dcmdcmd 〉rt この筆者が最後に書いてる通り 金儲け目当てで知り合いの男に目撃者頼めば冤罪でもシダンキンとれるんじゃないかと思って調べたら実際あったそうだ。捕まるまでにシダンキン払った被害者は泣き寝入り。電車の中では女に近づかないことだマジで。 2017-05-24 11:08:13
P言語の素晴らしさについて - kuenishi's blog
先週Microsoft社がP言語に関するブログ記事を公開し一部界隈で話題となった。 P言語くん pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017年3月26日 「いまさら一文字言語かよ…」「何個目だ？」といった批判的諦念的なものから、「RustとGoとErlangの間の子みたいなのだなあ」「なんか読みにくい」といった反応が多くこの言語の重要性やインパクトに対して正しく理解しているものがあまりなかった。尊敬しているTD勢ですらあまり重要性が伝わってないようだ 1 2 。上記のブログ記事を読んだり、マニュアルを読んだらすぐ分かるようなことではあるが、日本語で解説しておこうと思う。なおいわゆる言語入門とかそういった類のものではないことをご理解いただきたい。 TL;DR 並行処理や分散システムの形式証明や形式検証はそれ自体
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
