supermomongaのブックマーク / 2017年5月16日

supermomonga id:supermomonga

2017年5月16日のブックマーク (3件)

RubyのTypo Checkerについての考察 - なるせにっき
RubyKaigi 2014の基調講演でまつもとさんが静的型の野望を明かしてから2年半が経った。その間の進捗は芳しいものとは言えないけれど、それでもまじめな研究として例えば多相型、推論、Ruby が行われている。普通の人は私のこの記事を読むよりもこちらを読んだ方がよいと思う。じゃあなぜこの記事を書いたかというと、それでも一部の人には得るところがあると思っているからである。この記事の読者の中にはRubyKaigi 2014中に書かれたakrさんの日記で「非常に簡単化した静的解析」の話を読んだ人もいるのではないかと思う。この話をそのまま発展させた場合にどういう迷路に迷い込むのかという点についていくつかの知見を得たものの、これまでそれを書いていなかったのでちゃんと書くことにしたのだ。さて、nurse/static-check.rbである。これは大きく分けて3つの部分からなっている。定義さ
supermomonga 2017/05/16
リンク
新しい csproj 形式
Visual Studio 2017で、csproj 形式が新しくなりました。背景としては、一時期、脱msbuildをしようとしてた -脱msbuildのついでに、csprojを辞めて、project.json 形式にプロジェクト設定全部入れようとしてた時期があった結局、msbuildに戻ったけども、既存のcsprojをもっとシンプルにしたいという要件だけが残ったというものです。過渡期に関しては昔書いたブログ参照: .csproj + project.json 「project.json辞めます」の意味最近、やっと新形式のcsprojの扱いに慣れてきたのでブログに書き残しておきます。サンプル: https://github.com/ufcpp/UfcppSample/tree/master/Demo/2017/NewCsproj 新形式これまで、Visual StudioでC
supermomonga 2017/05/16
リンク
次のAmazonレビューを確認してください: マンガで分かる肉体改造糖質制限編 (ヤングキングコミック)
主人公を男性に設定にする事で、『ダイエットは女性やリア充がするものだから、男性や非リアがやるのは恥ずかしい』という、うしろめたさを破壊してくれるのは流石。この手法は、他社のダイエット解説本もお手本にして欲しいです。ただ、解説されている内容の方に問題があります。糖質制限と一口に言っても、医師によって意見が分かれていて、大きく分けて『ケトン体消費を起こさないリスク無しの粗食・糖尿病患者食系(100～130g+低GI食推奨/バーンスタイン式)』『ケトン体消費を起こして短期間に痩せる・ボディビル系(0～20g+高タンパク推奨/ライザップ式)』『間を取ってケトン体消費が起きるギリギリを狙う(40～60gくらい/アトキンス式)』の、3つの派閥があるようです。ここでは、便宜上ライザップ式とアトキンス式を『スーパー糖質制限』と呼びます。 (常人の糖質摂取量1日200～300g、ご飯1杯50
supermomonga 2017/05/16
リンク
- 2017年5月17日
- 2017年5月16日
- 2017年5月15日