数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版
2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理です。さまざまな動機から生まれたさまざまな様相論理がありますが、コンピュータサイエンスにおいてはCTL(computation tree logic)、様相ミュー計算(modal μ-calculus)、PDL(propositional dynamic logic)といった様相論理がよく研究されています。CTLは、たとえば「Aが起こればその後いつかはBが起こる」のような、時間とともに変化する真偽を細かく記述できるので、
トンガの空撮写真を公開、火山灰降り積もる NZ哨戒機が17日撮影：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
Honeyce'(ハニーチェ)｜LIB JAPAN株式会社
辻 美優です。趣味は絵を描くこと、カラオケ。ショッピングです。カラオケではJ-popやアニメソング等、幅広く歌います。
Tonga Response
Previous updates11 February, 5.00pm: The New Zealand Defence Force will bring home HMNZ Ships Canterbury and Wellington which have been in Tonga assisting with relief efforts following last month’s undersea eruption and tsunami. Commander Joint Forces New Zealand, Rear Admiral Jim Gilmour, said that with the transition from an immediate relief response to Tonga’s longer term recovery, the two ship
どうして昔の人は8進数でしゃべるのか 「TK80」「Z80」の16進世代が調べたオクタルの歴史
Kernel/VM探検隊は、カーネルやVM、およびその他なんでもIT技術の話題ジャンルについて誰でも何でも発表してワイワイ盛り上がろうという会です。takeoka氏は、8進数について調査、発表をしました。 よく使う命令は暗記をしていた16進世代 takeoka氏（以下、takeoka）：takeokaです。低レイヤー、長い人生、そして……まぁ、格調が低い話をします。 私は16進世代です。若い人にはわからないかもしれませんが、昔はTK-80しかなく、assembleしてくれる機械なんて持っていなかったので、みんなアセンブラ・ニーモニックでバーっとプログラムを書いて、それが終わったらおもむろに16進コードへの変換を手でやっていました。だからよく使う命令は、基本的に暗記していました。 あれですね。HLレジスタへのimmediateのloadは「21」とか、Aレジスタへのimmediate loa
Literary puzzle solved for just third time in almost 100 years
Edward Powys Mathers. Photograph: Public DomainJust two readers managed to solve the puzzle in the 1930s, Mr S Sydney-Turner and Mr W S Kennedy, both of whom won £25. The solution was then thought to be lost, but three years ago the Laurence Sterne Trust was presented with a copy of The Torquemada Puzzle Book, and Shandy Hall curator Patrick Wildgust embarked on a mission to solve it. Once he did,
Sam Furukawa
NHKのストーリーズを観て、 あくまで個人の感想です。 徳島で5人が全社員の会社が、どのようにデビューしたか？なぜアスキーと別れたのか？ JS-WordからJX-Word太郎、一太郎への道程、などはサイドストーリーをカットするのは分かるけれど。...
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Toshikazu SETO on Twitter: "UNOSATによるトンガの火山噴火の緊急撮影が公開されていました。加えて17日にはノムカ村の被害評価の詳細地図もGISデータ付きで公開 50cm解像度で，2枚めの被害評価の道路データや境界などはOpenStreetMapのクレジ… https://t.co/jPssqTjV8x"
80年代コミケでの「ラムちゃん」コスプレに反響！漫画家・一本木蛮先生に当時のエピソードを聞いてみた
After Years of Delays and Alarmingly Flimsy Evidence, Security Expert Ola Bini’s Trial Set for This Week
Connect, Protect and Build Everywhere
Science | AAAS