読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
アニメ映画の興行収入がすごい昨今の映画館は洋画実写ファンの行く場所でないという投稿→別にオタクは売上に関係なく観たければ映画館に行っていた
ぼのぼの @masato009 『コナン』がたった10日間で65億円超え、『ハイキュー』がすでに97億円、『変な家』が41億円とか聞くと、シリアスな映画ファン、とりわけ洋画実写で育ってきたようなファンは、もう映画館は自分の行くべき場所ではないのでは？という気分になってくるな(´･ω･`) 2024-04-23 01:08:54 ぼのぼの @masato009 「映画館はアニメのおかげで生き延びている」というのは、決して間違いではないが、もしアニメがなかったら、製作側も興行側も、アニメ以外の作品を企画し製作しヒットさせているだろうな…とも思う。 実際、過去の映画館を生き延びさせていたのは、出版社やテレビ局が製作してマルチメディア商法で売り込んだ実写大作だった。金田一シリーズ、『復活の日』『南極物語』『敦煌』『子猫物語』そして『踊る大捜査線』シリーズなど… 今は大きな流れとして、それがアニメに
男の生きづらさというのが分からない
anond:20240421170643 はてなではよく目にするんだけど、実感もないし想像もできないんだよね たとえば、こんな生きづらさというのは理解できる 女性の生きづらさ → 賃金、体調、犯罪被害、など 左利きの生きづらさ → 道具や文字が右利き用なので不器用さを強いられる 低/高身長の生きづらさ → 社会が体のサイズに合ってない（服、座席など） 日本社会の生きづらさ → 他の人と違うことをすると馬鹿にされたり批判されたりする たとえば病気でつらいとしたらそれはもちろんつらいんだけど、病気のつらさであって男女関係ないじゃん？ 男性固有の生きづらさというのは実際何があるんだろう 昔だったら妻子を養うべしみたいなのがあったけど、今は結婚しなくていいし子供を持たなくていい つらいつらいは聞くのに、これがつらいという具体的な話がいつも見えない なんかつらいってこと？ 人間なんて老若男女や貧富に
Wallaby.jsを使ってフロントエンド開発のテストを効率化しよう - Findy Tech Blog
Findy Team+でフロントエンドエンジニアをしている 川村(@peijun333)です。 Findy では、フロントエンドのコード品質と安定性を確保するために Jest などのテストフレームワークを積極的に活用しています。通常、Jest は CLI から実行してテスト結果をコンソールで確認しますが、コマンドを用意する手間や、テスト経過のデバッグのために都度 console.log などでその内容を確認しなければならずとても不便です。 そこで、今回はテストの自動化とリアルタイムなフィードバックを提供する JavaScript の統合テストツールである Wallaby.js を紹介します。Wallaby.js を導入することで、開発効率の向上が期待できます。 Wallaby.js とは？ 前提条件 VS Code でテストの修正 Wallaby.js はリファクタリングに強い スナップシ
先日ヴィーガンインド料理レストランに行きました。 私はヴィーガンではありませんが、Googleの口コミがえらく高かったので「どんなもんじゃい」という気持ちで入店しました。 前菜?のジャガイモのスープが豚骨スープかと思うくらい旨みが強くて、メインのカレーのプレートもとても美味しく、楽しい時間を過ごせました。 ヴィーガンインド料理はどういう考え方で構成してあるのでしょうか。 やはりトマトの旨味が土台となっているんでしょうか。 | mond
先日ヴィーガンインド料理レストランに行きました。 私はヴィーガンではありませんが、Googleの口コミがえらく高かったので「どんなもんじゃい」という気持ちで入店しました。 前菜?のジャガイモのスープが豚骨スープかと思うくらい旨みが強くて、メインのカレーのプレートもとても美味しく、楽しい時間を過ごせました。 ヴィーガンインド料理はどういう考え方で構成してあるのでしょうか。 やはりトマトの旨味が土台となっているんでしょうか。 僕がインド料理から学んだものは「スパイスのチカラ」もさることながら、それ以上に、「野菜の旨さ」でした。 僕は日本人ですし、和食も一通り学んできましたから、おいしい料理にはダシが不可欠、という概念は人一倍強く、また明確だったと思います。この場合の「ダシ」は、当然、鰹ダシを中心とした動物性のダシということになります。昆布ダシってのもありますが、それはあくまで鰹などの動物性と組
やばいファン｜山田健人（ラニーノーズ）
「ゆき、急にどうした？なんだ話って」 「お父さん、落ち着いて聞いてね。 私、結婚したいの」 「け・・結婚したいってお前、彼氏はいたのか」 「ううん。お付き合いはしてないけど、急にプロポーズされたの」 「そんなの駄目だ！ まずは付き合って、その人のことをよく知ってからの方が・・・」 「大丈夫！私はその人のことずっと大好きだったから、とっても嬉しいの！昔から応援してたから」 「応援してた・・・って、何をしてる人だ？」 「ミュージシャン」 「駄目だ駄目だ！！音楽で飯も食えてないくせに、プロポーズだなんて」 「フフフ、大丈夫！人気ミュージシャンだから」 「え？」 「私その人のコンサート何度もいってるんだから。ビックリしたわよ！急にプロポーズされて」 「なんて人だ？」 「宮崎涼さん」 「・・・知らないなぁ」 「知らない？すごい人気なのよ♪」 「どんな人なんだ」 「ちゃんとしゃべったことないけど、絶対
ARMはx86より効率がいいというのは過去の神話
従来から、「ARMはx86より（電力的に）効率的だ」という言説があります。これは単純に「ARMは省電力なスマホ向けで、x86は電力を食うPC向け」程度のアバウトなイメージのこともありますし、前世紀のRISC vs CISC論争のころからある「ARMはx86 (x64を含む)に比べ命令セットがシンプルなので、命令デコードにかかる電力が少なくて済んで効率的」という議論の形をとることもあります。 この議論については、半導体エンジニアの多くは「ARMがx86 より効率が良いというのは、もはや過去の神話」(in today’s age it is a very dead argument)という認識を共有していると言っていいでしょう。有名なところではApple CPU (ARM)とZen (x86)の両方を開発したジム・ケラー氏のインタビューでも言われていますし、Chips and Cheeseとい
教科書売りの少女とオッサン - 小串カズ | 少年ジャンプ＋
JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
データベースの在庫の持ち方をビットで管理してる話 - 一休.com Developers Blog
こんにちは、一休.comスパ(以下、「スパ」)の開発を担当しているshibataiと申します🙏 今回はスパのデータベースの在庫の持ち方で試行錯誤した話をさせていただきます。 背景 2024-03-29追記: 一休.comスパにおける在庫の特徴について 一休.comスパが扱う「在庫」は、「ある日付の特定の時間に対する空き枠」です。以降の説明では、スパ施設ごと、日付ごと、また時間ごとに増えていく「在庫」をいかに効率よく扱うかについて説明しています。 詳細については次のスレッドも参照してください！ https://t.co/Y0SPmDE4yZ この記事のコメントみてると、少し我々のシステムの要件が伝わってないというかそこの説明が記事に不足しているように思った。ので以下その補足— naoya (@naoya_ito) March 29, 2024 現在の実装 スパは予約を受け付けるために在庫の
チョコザップで洗濯やカラオケ RIZAPが新サービス - 日本経済新聞
RIZAPグループは28日、24時間型の低価格ジム「chocoZAP（チョコザップ）」で、洗濯やカラオケができるサービスを始めると発表した。会員であれば無料で使える。筋肉トレーニング以外を充実させ、運動への関心が高くない人にも会員層を広げる。洗濯・乾燥機は4月中に70店舗に設置し、年内に600店舗まで広げる。洗剤は備え付けで持ち込み不要。1日2回まで利用できる。カラオケルームは年内200店舗の
【ClipStudio】初心者向け 効率良く漫画原稿を作る手順解説 - 物覚え雑記帳
「ClipStudioを使用して漫画原稿を作るのが初めて」という方に向けて、漫画原稿を作る手順を解説していきます。 クリスタ公式にも「シリーズ "マンガを描いてみよう モノクロマンガ編【PRO/EX】」という解説ページがありますが、それよりもなるべく作業効率が上がるような方法を紹介します。なお、解説に使用しているのはEXバージョンです。（同人誌や複数ページの漫画を作る場合はPROよりEXが断然おすすめ。） まずは原稿用紙の準備と作成までです。 環境設定の変更 原稿テンプレの作成 原稿テンプレの構造と一例 新規ファイルの作成 通常フォルダーとレイヤーの作成 コマ枠フォルダーの作成 フォルダーの構造を変更 その他お好みで… テンプレート素材に登録 原稿用紙を新規作成する 環境設定の変更 原稿では単位を「px」より「mm」に変更しておいた方が便利です。 [ファイル]メニュー→[環境設定]→[定規
「三菱製品買わないで！」戦闘機輸出に反対する市民団体が不買運動を呼びかけ：東京新聞 TOKYO Web
国内メーカーで防衛産業を強化する動きが相次ぐ中、消費者団体の日本消費者連盟（日消連）と主婦連合会（主婦連）、市民団体の武器取引反対ネットワーク（NAJAT）は21日、東京都内で会見を開き、次期戦闘機の共同開発に参加している三菱重工業と三菱電機の製品の不買運動などを呼びかけた。 両社が共同開発に参入している日本、英国、イタリアの3カ国による次期戦闘機は、第三国に輸出可能になる見込み。日消連の纐纈美千世事務局長は会見で「人の命を奪う武器をつくろうとする動きは、全力で止めなきゃいけない」と訴えた。 3団体はこの日、次期戦闘機の共同開発や武器輸出の中止を求める要請書を両社に提出した。両社に「死の商人にならないで」と訴えるはがきを送る運動も始めている。はがきの印刷用データは日消連などのホームページからダウンロードできる。（望月衣塑子）
「眉毛整えろよ」「髪整えようよ」と言われるけど”整える”って具体的にどうするかわからず動画をみても不器用でうまくいかない話…プロに任せるの大事
窓際くん @superincel777 「眉毛整えろよ」「髪整えようよ」 ↑その“整える”が分かんねぇんだよ、 眉毛整えようと思っても左右でバラバラなるし、ワックスつけようと思っても頭がカピカピになるだけやし 何だよ、“整える”って、具体的にとうするんだよ、お前らはいっつも肝心な事は教えてくれないんだよな 2024-03-14 21:12:45
とほほのお茶・紅茶入門 - とほほのWWW入門
YAPC::Hiroshima 2024 で「記事ネタに困ってるので取り上げて欲しいものがあればメールください」とお願いしたところ、早速懇親会で「お茶入門お願いします！」と依頼が来たので、今週は「お茶・紅茶入門」いきます。オレンジペコーってオレンジ入ってなかったんだ... すみません。いくつか記載に誤りがあったようで、いろいろ指摘いただきました。ありがとうございます。 抹茶・粉末茶・粉茶の説明が違ってる すみません、それぞれの説明の文章が入違っていました。修正しました。 チャノキという「種」は一緒だが中国種、アッサム種などの「変種」は異なる 修正しました。 お茶・烏龍茶・紅茶等の違いは、発酵の度合いではなく製法の違い 昔は発酵の度合いで分類を語ることが多かったけど、昨年(2023年3月)にISO(国際標準化機構)が加工方法による分類を発表したそうです。今後はこの分類法が広まっていくのかもし
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
最近のジャンプ＋ ジャンプっぽくない漫画多すぎ
日本の名目GDP5位転落へ インドが抜く
「M3 MacBook Air」は衝撃的なファンレスモバイル Windowsの世界よりも2歩先を進んでいる
夜明け前が一番暗いとかドヤ顔するヤツ絶対殺す - オヒルネ / 【コミックDAYS読み切り】夜明け前が一番暗いとかドヤ顔するヤツ絶対殺す | コミックDAYS
【特集】 IT企業のリモートワークは今も続いているのか？完全出社必須なら62%の従業員が離職を検討
いらすと本舗