はてなブログを持っていれば、誰でも参加できます。
こんなツイートを見た．(i) φ(x) ⊢ ∀xφ(x) (ii) ⊢ φ(x)→∀xφ(x)似ているようだが、(i) は正しく、(ii) は必ずしも正しくないようである。論理式が正しく理解できているのか自信がなくなってきた。。— Atsushi Yamashita (@yamyam_topo) 2025年7月20日 最初「当たり前じゃん」と思ったのだが，よく考えると，自由変数を含む論理式の解釈の…
県内の国立大学の試験の前日、私はＫを連れて試験会場に向かった。受験する校舎の下見をするためだ。Ｋが受験するのは、文系学部の敷地に入って左手にある建物だった。私はKにあまりプレッシャーがかからないようにと考え、「明日はここで落ち着いてやれば良いからね」という感じの声掛けをして、校舎の敷地を後にした。 この日は、私大の合否発表で最後に残っていた法政の結果が通知される日だった。親も本人も「国立大学の試験…
「会議の議事録が溜まってるけど、誰も見返してない」 「プロジェクトの進捗が追えない」 「そもそも、どこに何を書いたか忘れた」 そんな悩み、ありませんか？ 私自身、複数のプロジェクトに関わる中で、情報の整理と伝達に悩むことが多々ありました。でも、あるときNotion AIを本格的に導入してから、情報管理のストレスが一気に軽減されたんです。 本記事では、実際に私が運用している「Notion AIを活用…
関数 のフーリエ級数の部分和は、次のように左右の極限値の平均に収束します。 なぜこのような形にできるのか、それは「ディリクレ核との畳み込み」という仕組みから見えるようになります。 ディリクレ核 ディリクレ核は次のような多項式で表されます。 例えば、のとき、の部分は下図のような形になっています。（のときは、より、） さらにを大きくしていくと、のピークが鋭くなる一方、他の部分は値が小さくなっていきます…
和歌山県 北山村のいかだ下りへ行ってきた 和歌山県 北山村とは 日本唯一の飛び地 三重県と奈良県の境にあるのに和歌山県に所属 じゃばらといかだ下りが有名 非常に珍しい場所 北山村のいかだ下りとは ５月から９月まで開催（一年中やっているわけではないみたい） ※2025年の6月に行ってきました 多少の雨なら実行 杉の木でできた、いかだに乗って北山川を渡る観光いかだ下り 現在の筏師さんについて １５名ほ…
個人主義としての私とあなた 〜集団主義から離れた個人主義という当たり前 私とあなたの感じることは同じとは限らない 【柄谷行人『探究』】 私たちは個人であることが当たり前と思っている 個人主義の未成熟と集団主義 【丸山眞男『日本の思想』】 戦後思想の努力としての当たり前の個人主義と、輸入概念としてのなじみにくさ 【作田啓一『個人主義の運命』】 前回のお話 https://www.waka-rukan…
こんにちは、晏藤滉子です。 本日で2025年上半期終了。ほんと月日はあっという間に駆け抜けますね。 今日という一日を分子、自分の年齢を分母とすると･･･年齢を重ねる程に月日の経過が早く体感すると聞いたことがあります。納得ですね。 個人的に去年から新しい学びを始めたこともあり･･･この半年見事にヨレヨレでしたｗ 勿論思うように身につかない不甲斐なさに凹んだりもするのですが、もう楽しくて仕方ない。脳内…
こんにちは、エスモットです。 先日、製造業の経営者さんのところへ経営支援に行ってきました。今回のテーマは「粗利率（あらりりつ）」の話。どんな言葉で説明すれば、わかりやすく伝わるのか。あらためて、“伝える力”の大切さを感じたので、ブログにまとめてみます。 粗利率ってなに？なんで大事なの？ 「粗利率」って、普段はあまり聞きなれない言葉かもしれません。 簡単に言うと、「売上から原価（仕入れや材料など）を…
次のページ
