Amazon.co.jp: Effective Java 第2版 (The Java Series): Joshua Bloch (著), 柴田芳樹 (翻訳): 本
プログラマのための述語論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
たまにやっている「プログラマのための××○○」モノでがんす。これは一回読み切り。 表題どおり、述語論理の入り口を説明する目的があります。それと、ラムダ式もクロージャも高階の型／関数もないようなプログラミング言語（具体例にはJavaを使いますが）で、述語論理のような形式体系をどの程度表現できるかを試してみるのが、もうひとつの目的。それで、「やっぱりJavaみたいな言語はダメだ」と思うか、「けっこう、なんとかなるもんだ」と思うか、… さー、どちらでしょう。 [追記]変なJavaのコードでワケワカになってしまうときは、「述語論理はJavaScripを使うべきだった」のJavaScriptコードを参照してください（面倒で、すみません）。[/追記] ※長いよ。印刷の時はサイドバー消えます。 内容： 最初に命題論理を一瞥＜いちべつ＞ 述語とは 述語の論理計算 これが述語論理のキモ：限量子 限量子のプロ
Island Life - 分けて考える
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
睡眠中に本人の意思と関係なく性行為をしてしまう睡眠障害「Sexsomnia」
(by Kennedy Garrett) 睡眠時遊行症（いわゆる夢遊病）に似たNREM-Parasomnia（ノンレム睡眠行動障害）の一種に「Sexsomnia（セクソムニア）」というものがあるそうです。 別名「Sleep sex」というその名の通り、ノンレム睡眠中に本人の意思とは関係なく性的行動・性行為を行ってしまうという、場合によっては本人や周囲の人々に重大な結果をもたらす障害なのですが、その存在が医学的に実証されたのが数年前でまだ一般的に知られていないことや、症状を自覚しても医師や周囲の人に相談しにくいということもあって、実際の発生率や患者数などは明らかになっていません。最新の研究で、睡眠障害専門外来で受診する人に限って言えば、7.6％という高い割合でこのセクソムニアが発症していることが判明しました。 詳細は以下から。Sexsomnia Is Common In Sleep Cent
2013年5月に新たな人類の危機、巨大な太陽フレアによる「ソーラーストーム」が地球に到達する可能性
NASAによると、今までもありうるのではないか？として危惧されていた大規模な「太陽嵐（ソーラーストーム）」が地表に到達する可能性について、2013年5月頃に発生するかもしれないとして、人類の文明が太陽嵐によって破壊されるのを防ぐため、ワシントンで6月8日から開かれるナショナルプレスクラブの「宇宙天候企業フォーラム（Space Weather Enterprise Forum）」にて会合を持つことになりました。この会合によって、社会の重要なインフラを保護するための方法が検討されることになります。 詳細は以下から。 The Newest Threat to All Human Life on Earth: Solar Storms As the Sun Awakens, NASA Keeps a Wary Eye on Space Weather - NASA Science 前回大規模な太陽
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Java並行処理プログラミング ―その「基盤」と「最新API」を究める― : Brian Goetz, Joshua Bloch, Doug Lea : 本 : Amazon.co.jp
通信制大学 サイバー大学 オンラインでITとビジネスを学び、大学卒業資格（学士号）を取得できる
