静的解析の限界、現実世界との境界
2018年に静的解析をとにかく強力につけまくるのは多分あんまりコストに見合わないのでよくない じゃあ静的解析を窓から投げ捨ててよいかというとそれはただの愚行 (以下、静的解析を普通に使えてる人には自明なことしか言いません) 私が最初に静的解析の限界を感じたのは多分依存型で遊んでいたとき 依存型の力はすごくて、まぁそれもそのはず命題論理から述語論理に進んで元への言及ができるので見かけ上表現力はとんでもなく上がるわけです。例えば「ある方程式を満たす解のみを受け取って何かする」みたいな関数が型として表現できるようになる。 一見すると最強に見えるんだけどこれは実質定理証明をすることなので、制限の強い型をつければつけるほど実装で苦しむ羽目になるということを割とすぐ痛感することになった。 例えば head : Vect (Suc n) a -> a で長さ1以上のvectorの先頭を安全に取り出す関数
ＮＴＴドコモ “２年縛り”内容を見直す方針 | NHKニュース
ＮＴＴドコモの吉澤和弘社長はスマートフォンなどのいわゆる“２年縛り”の内容を見直す方針を明らかにしました。 これについて、吉澤社長はＮＨＫのインタビューで「今は２か月間で解約期間をみているが、もう少し期間の幅を増やす」と述べ、見直しを行う方針を明らかにしました。 今の“２年縛り”では２年間の契約が終わってからの２か月間を「更新月」としていて、これ以外の期間に解約をすると9500円の「解約金」がかかるほか、更新月に解約してもその月の通信料金は支払う必要があります。 ドコモはこれを見直し、「更新月」の開始を最大で１か月間早めて、３か月間とすることを検討しているということです。 １か月間早めた場合、利用者は契約期間の最後の月に解約すれば契約終了後の通信料金の支払いや「解約金」なしで契約を乗り換えることができることになります。 そのうえで、吉澤社長は「３社の足並みがそろわないと、また同じ議論になっ
楽天、8000以上のAPIが試せる「Rakuten RapidAPI」開始 ソフト開発を加速
楽天は7月11日、開発者向けに8000以上のAPIの検索、検証、購入が行えるマーケットプレイス「Rakuten RapidAPI」を開始した。APIマーケットプレイス「RapidAPI」を提供する米国企業・R Softwareと戦略パートナーシップを締結し、日本を皮切りにアジア地域へ展開するという。楽天の平井康文副社長は「APIを多くの開発者に紹介したいAPIプロバイダーと、サービスに必要なAPIを組み合わせてアプリを開発したい開発者の間にビジネスチャンスがあるのではないか」と話す。 RapidAPIは世界で50万人以上の開発者が利用するAPIマーケットプレイス。企業や団体、公的機関などが掲載したAPIをカテゴリやキーワードから検索して試すことができる。RapidAPIからAPIの購入も可能。またプログラミング言語にかかわらず、RapidAPI内のすべてのAPIに接続できるSDK「Raku
Yahoo!ニュース
「もう収入は答えたくない」ヒロシさん 底辺からブレークして生活一変も、高級車を手放したワケ #ニュースその後 #令和のカネ
「エアコンの嫌なニオイが完全に消えた」 “窓全開、16度で1時間つけっぱなし”で本当にニオイが取れる理由
「エアコンから嫌なニオイがするときは、部屋の窓を全開にして16度で1時間つけっぱなしにすると解消できる」――エアコンメーカーのお客さま相談センターに聞いたという意外なお手入れ方法が、ネット上で話題になっています。 このお手入れ方法は本当に有効なのか、だとすればどんな仕組みでニオイが取れるのかを、エアコン製品を製造・販売する三菱電機に聞いてみました。 「ニオイ成分を結露水で洗い流す」 ――「部屋の窓を開けて16度で1時間運転」という方法は、本当に有効なのでしょうか？ 三菱電機：当社としては、こちらが有効としてお客さまにも回答しています。 ――どのような仕組みでニオイが取れるのですか？ 低い温度で冷房運転すると、熱交換器やドレンパンに付着して残ったニオイ成分が結露水に溶け込み、洗い流されてニオイが軽減される仕組みです。また、空気中に漂うニオイ成分も窓を開けることで室外に排出されるため、換気しな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
