野尻抱介の「ぱられる・シンギュラリティ」第31回 ご冗談でしょう、オッペンハイマーさん
007市川海老蔵小説小野繙山ゴハン山梨ソロキャンプアワード山田勇魚川奈まり子工芸作家巻き方幌倉さと小林圭輔平塚年齢制限店舗庭ゴハン廃番弥富マハ彫刻家彫金影響小津安二郎対策徹底女性向け増税変え方多崎ろぜ大園恵実大庭繭大手失われた青を求めて失敗奇才紳士名鑑女流雀士対処法女郎蜘蛛姉の結婚安い安さ実話怪談宮台真司家庭家族寄木御徒町怖い話坂上秋成映画斜線堂有紀新作新幹線方山敏彦方法旅行旅行/レジャー星をみるひと時間故障暇つぶし書画書評書道家最新月曜日のたわわ有楽町有限会社ファクタスデザイン朝藤りむ教えて！「聖蘭（せいら）20歳」さん改正怪談手巻きタバコ怪談一服の集い恋は光成人成年年齢引き下げ成長戦野の一服手作り手塚大輔手巻きたばこ手書き地図改善手順投稿怪談投資持ち方持ち込み捨て方掃除掌編小説採用境貴雄地図木原直哉体験記付け方会津木綿伝説の92住宅ローン佐々木 怜央佐々木亮介佐々木愛実佐藤タイジ作家今
数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版
2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理です。さまざまな動機から生まれたさまざまな様相論理がありますが、コンピュータサイエンスにおいてはCTL(computation tree logic)、様相ミュー計算(modal μ-calculus)、PDL(propositional dynamic logic)といった様相論理がよく研究されています。CTLは、たとえば「Aが起こればその後いつかはBが起こる」のような、時間とともに変化する真偽を細かく記述できるので、
バクテリアが体を清潔に保ってくれてシャワーいらずの「バクテリアミスト」を1ヶ月間使うとどうなるか
By jamelah e. 体を清潔に保つために、シャンプーで頭を洗ったり石けんで体を洗ったりして汚れを落とすわけですが、バクテリアを体にすり込むことによって清潔さを保ち、シャワーが不要になるというミストスプレーが開発されています。実際に、このバクテリアミストスプレーを使い続けるとどうなるのか、ニューヨーク・タイムズの記者が1カ月使用して、その結果を報告しています。 My No-Soap, No-Shampoo, Bacteria-Rich Hygiene Experiment - NYTimes.com http://www.nytimes.com/2014/05/25/magazine/my-no-soap-no-shampoo-bacteria-rich-hygiene-experiment.html バイオテクノロジーのスタートアップAOBiomeは、不潔な未処理水などにいるという
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
