日本の首都移転するなら？
インドネシア首都移転のブコメに触発されて https://b.hatena.ne.jp/entry/s/www3.nhk.or.jp/news/html/20220119/k10013437951000.html ブコメから適当にピックアップ、ネタっぽいものは除外しました。 条件案id:teraph 山が少ない平地 陸海空路でのアクセスが容易治水が楽積雪が少ない巨大地震や火山噴火が起きたときの被害が少ない候補（順不同）旭川・北海道id:BigHopeClasic 積雪を妥協すると旭川マジおすすめ 軍都に選ばれた経緯もあり良さそう。 ただ、観光に行った真冬の夜にホテルの外に出て、本当に生命の危機を感じた記憶が…。 浪江町id:mitimasu 復興になる。 福島の意見も多数あり。 奈良・京都id:twwgot 本邦も日本のほぼ中央、奈良に遷都してはいかがか id:dfk3 遺跡が多すぎて移転
恋人が痩せない
付き合って約3年半になるが、この間で恐らく25kg程度は太っているらしい (直接聞いたわけではないが、「○○の時から△kg太った」みたいな会話の累積から推測するにこのぐらいと思われる) 元々が痩せすぎていたとかであればよいのだが、そんなこともなく、付き合いたて当初の時点でもどちらかというとふくよかな方だった そのうえで、更に25kg太っている 当人は「痩せたい」だとか「ダイエットしたい」等と常々言っていたし、私自身もスリムな人の方がタイプだという事を暗にアピールしていたが なんてことは無く、25kg太った 本人にも痩せたい意志がある事を尊重して、面と向かって「太りすぎ」と伝えたりダイエットを強要したことはない その甲斐あってか、25kg太った 私は日常的に軽い運動をしているので、それとなく一緒に出来るスポーツや運動に何度か誘ったこともあるが、殆ど乗り気になってくれた試しはなかった やっと始
数学的基礎を徹底解説！――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版
2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理です。さまざまな動機から生まれたさまざまな様相論理がありますが、コンピュータサイエンスにおいてはCTL(computation tree logic)、様相ミュー計算(modal μ-calculus)、PDL(propositional dynamic logic)といった様相論理がよく研究されています。CTLは、たとえば「Aが起こればその後いつかはBが起こる」のような、時間とともに変化する真偽を細かく記述できるので、
文学部になんか行くなって言え、の筆者による反省
昨日か一昨日、『文学部になんか行くな、勉強しても報われないぞって初めから言え』のエントリを書いた人間です。 追加で記事を書くのは言い訳がましい。 でもめっちゃ風評被害をまき散らしてしまったので、ちょっとだけ冷えた頭で過去を捉えなおした記事を書きたいと思いました。 あれを読んで嫌な気持ちになった人に謝れるわけではないし限りなく自己満足ですが、ネットの海に放流しておきたかったので。 ・文学部は俺の未来に害を及ぼしたわけではない 就活で心が折れてしまった上に、俺の性格が極端で未熟だったことによるところが大きい。 確かに、客観的に見れば貴重なことを文学部で学んだのかもしれない。 文学部の人や人文学に触れたことがある人は知っていると思うが、文学部は感想文を書き散らすところでは断じてない。 まずは対象となる作品に触れて、自分で疑問を発見したり、隠されたものがあるのでは？と気づく。 そしたら、その疑問や
仮眠や持ち帰り残業が「労働時間」に加算されない？ 厚労省が基準厳格化、労災の認定後退の恐れ：東京新聞デジタル
厚生労働省が昨年、過労死などの労災認定をする際の労働時間の算定について、一定条件下の仮眠を除外したり、持ち帰り残業で極めて厳しい基準をとるよう全国の労働基準監督署に通達していたことが分かった。労働時間のとらえ方を労災被災者らの救済を目的とする労災保険法でなく、法令を守らせる労働基準法に基づいていることを問題視する声も強い。労働時間が実態より過小に算定され、労災の「不認定」の増加につながる恐れがある。（久原穏） 厚労省の意図について、過労死問題に取り組む弁護士でつくる「過労死弁護団」は「働き方改革と言いながら、労災認定が増えるのは不都合だからではないか。（労働者より）経営側に立つ政権の意向に沿うためもある」と推測する。 通達は厚労省労働基準局補償課が昨年３月３０日付で送った「労働時間の認定に係る質疑応答・参考事例集」。機密扱いだが、家族を過労死で亡くした遺族ら関係者の情報公開請求で明るみに出
コンビニ3社のセルフレジ比較
あくまで増田の行動範囲にあるものだけなので、抜けはあると思う。ご容赦いただきたい。 セブンイレブン自分がよく遭遇するのは、半セルフのあれ。 セルフですらない。ないのだが、悪くはない。 客は商品スキャンを行わず、支払い方法を選択し、その方法で支払うだけ。 モバイルSuicaで支払うことが多い増田としては、もっとも早く会計が終わる。 デメリットがあるとすれば、会計が早すぎて袋詰が間に合わず後ろが詰まること。 セルフレジではないのでそれなりに人は並ぶのでちょっとプレッシャーだ。 セブンは今後半セルフではない完全セルフレジを導入・拡大するらしいので期待したい。 ファミリーマート個人的ベストはファミマ。 スキャン方法は鏡とスキャナを利用したスーパー方式。 レジ袋も取ってJANコードを読み込むだけなので簡単。 たいていどこの店舗もレジ自体がコンパクトで、 操作範囲が狭いというメリットと商品を置くスペー
「かわいいで世界平和を」のサンリオ、フェミニスト系クレーマー集団からの圧力にあっさり屈する : 市況かぶ全力２階建
自称億トレの煽り屋、自業自得で裁判漬けとなり証券口座に現金30万円とエスクリプトエナジー(旧エス・サイエンス)1300株しかないことをバラされる
格ゲーで同じキャラ同士で戦える仕様はやめるべき
世界観壊してるのわかってる？ 世界にダルシムは2人いないのにダルシムとダルシムが戦うなんてどう考えてもおかしいだろ
潮位変化「前例ない」は本当か 津波警報の遅れと防災情報のあり方
トンガで噴火が発生したのは15日(土)の日本時間の13時過ぎでした。気象衛星画像でも即座に巨大な傘状の噴煙が確認出来たことから、非常に規模の大きな噴火と判断ができたため、航空機向けの情報などが迅速に発信されました。 その約1時間後には、アメリカ領サモアで0.6mの潮位変化が観測されました。太平洋津波警報センターは「火山活動により津波が発生した」として、噴火から約1時間半後に当該地域に津波注意報を発表しています。 18時を過ぎると、ハワイでも津波が観測され始めます。これは通常の「海中を伝わる津波」として計算されたよりも2時間ほど早い到達でした。これを元に、19時43分に太平洋津波警報センターはハワイにも津波注意報を発表しました。事前に発信されていた「津波の脅威はない」という情報を打ち消す発表でした。 20時頃には日本でも気圧の変化や潮位変化が観測され始めます。21時台には本州の沿岸でも海面上
『アーマード・コア』があまりに強すぎて「フロム・ソフトウェアから直々に出禁をくらった」と噂される伝説のレイヴン・YOU氏に20年越しの真実を聞いてきた
突然だが、みなさんは『アーマード・コア』をご存知だろうか。 （画像はニュース | FromSoftware – フロム・ソフトウェアより） 「チュートリアルがクリアできない」、「鬼畜難易度のミッション」と高難度ゲーとして名を広く知られ、「身体は闘争を求める」のネットミームとしてもおなじみの、フロム・ソフトウェアが手がける「3Dメカ戦闘シミュレーター」の傑作である。 自分だけのロボットを組み上げて戦う──男のロマンここに極まりといった作品だが、「俺の機体最強」とナニカが極まってしまったり、多くは語られない劇中設定から「フロム脳」と呼ばれる妄想が極まってしまったりと、「刺さる人には刺さりすぎて、人生すら変えてしまう」ことでも有名だ。 そんな『アーマード・コア』シリーズだが、シングルプレイのミッションとは別に、「ユーザー同士の対戦プレイ」もシリーズの大きな魅力のひとつ。 数あるパーツの中から自分
[Deprecated] WSL2 USBカメラ+他のUSB機器 2022年01月17日版
環境：Windows11 + WSL2 5.10.60.1 + Ubuntu20.04 WSL2 Linux Kernel 5.10.60.1 からKernelモジュールにUSBIP対応が標準的に組み込まれた 2022年01月17日時点の最新カーネルは 5.10.74.3 以下すべての手順の Windows Terminal を使用する箇所は管理者権限で実行 WSLのカーネルアップデートと usbipd-win のインストール Windows Terminalで実行 > wsl --update > wsl --status カーネル バージョン: 5.10.60.1 > winget install --interactive --exact dorssel.usbipd-win
![[Deprecated] WSL2 USBカメラ+他のUSB機器 2022年01月17日版](https://cdn-ak-scissors.b.st-hatena.com/image/square/f4fc3b12c4e49faef55f0eba9303aa3a175d4c5c/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--2uRk5OY7--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%25255BDeprecated%25255D%252520WSL2%252520USB%2525E3%252582%2525AB%2525E3%252583%2525A1%2525E3%252583%2525A9%25252B%2525E4%2525BB%252596%2525E3%252581%2525AEUSB%2525E6%2525A9%25259F%2525E5%252599%2525A8%2525202022%2525E5%2525B9%2525B401%2525E6%25259C%25258817%2525E6%252597%2525A5%2525E7%252589%252588%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3APINTO%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2czMW9DdWpQQmY4YmFpTXFmY0M4bG5jamUxVnZBWUdTeEVZMnN6VXc9czI1MC1j%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png%3F_a%3DBACAGSGT)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「アタック25」がジャパネットのBS放送で復活。3月27日から
“早すぎたメタバース”Second Lifeとは何だったのか 再ブームはあり得るか？