メンタル 未来のことを心配しても仕方がない
今なすべきことをなせ【為すべきことを為せ】『バガヴァッド・ギーター』に 収められています。 自分の感情や行為の結果にとらわれず、為すべきことを為せということです。未来はどうなるか分からない未来は不確実で何が起こるのか、上手くいくのか苦労する...
メンタル よもやま話 アルファ・オスと悟りとノブレス・オブリージュ
アルファ・オス不在の巨大な群れの暴走アルファ・オスとベータ・オス日本語の記事が無かったので英語で。【α male and β male】Alpha maleandbeta male, or simply putalphaandbeta, a...
数学とか 恒等式と恒偽式の定義と定理
恒等式と恒偽式（矛盾）の同値変形の定理について学びます。恒等式と恒偽式恒等式【定義】ここでは古典命題論理における恒真式の定義を述べる。$\mathrm {Val}$ を命題変数の全体とする。$f:{\mathrm {Val}}\to {\t...
数学とか 論理和と論理積の分配法則 その3
(A∨B)∧(A∨C)⇔A∨(B∧C)は同値変形できたので、次はコレ。(A∧B)∨(A∧C)⇔A∧(B∨C)論理和と論理積の分配法則証明1.,(仮定1,仮定2)2.A,B(∧除去)3.B∨C(∨導入)4.A∧(B∨C)(∧導入)5.A∧B→...
プライベート 長濱陸Tシャツ完成
長濱陸Tシャツ完成しました。今のところ白だけなのですが、他のカラーの需要はありますか？ご希望があればSNS、メールフォームなどからご連絡ください。他の色でデザインできるか確認してみます。ショップ↓デザインはライター、作家、デザイナー、ヒモの...
数学とか 論理積と論理和の結合法則
結合法則の演繹命題論理の結合法則を自然演繹の推論規則から導いてみます。結合法則は加法なら(A+B)+C=A+(B+C)と同値変形できる法則のことです。論理積の結合法則の証明1.A∧(B∧C)(前提)2.A,B∧C(除去)3.A,B,C(除去...
数学とか 論理積と論理和の分配法則 その2
論理積と論理和の分配法則その1の続き。証明(A∨B)∧(A∨C)→A∨(B∧C)の同値変形を目指します。1.(A∨B)∧(A∨C)2.A3.A∨(B∧C)(∨導入)4.A→A∨(B∧C)(→導入)5.,C6.B∧C(∧導入)7.A∨(B∧C...
よもやま話 関係によって存在が定義される = 縁起
前回の動画の続きが昨日アップロードされていました。見てみたら僕の考えと似ている、というか同じでした。関係により存在が生じる縁起上の動画では人の記憶を説明しています。記憶は細胞単体に記憶されているのではなく、細胞と細胞の関係によって定義されて...
数学とか 論理積と論理和の分配法則 その1
今回はA∨(B∧C)⇔(A∨B)∧(A∨C)の分配法則です。論理積と論理和の分配法則前回と同じ戦略です。証明1.(仮定)2.A∨B(∨導入)4.A∨C(∨導入)5.(A∨B)∧(A∨C)(∧導入)6.A→(A∨B)∧(A∨C)(→導入)7....
よもやま話 君子交わりは淡き水の如し
賢い人の関わり方は一見淡白に見えるが、実際にはベタベタとした依存心から開放された自立した付き合いだから、壊れることなく長く続いていくんだよ。と言っています。これは僕の信念に近いと言うか、人付き合いや技術の一つの指針となっています。依存先を増...
数学とか 否定の導入
別の記事でもやりましたが、復習もかねて簡潔に否定の推論規則だけ復習します。否定の導入⇔背理法Pであると仮定し矛盾（恒偽式）が導けた場合、¬Pが演繹できます。ある人が長濱陸であるとする命題Pを仮定して、如何なる解釈においてもその人の身長、性別...
よもやま話 ガラクタに目が眩んでる間に人生は終わる
またセネカの「人生の短さについて」から引用します。人生の短さについてガラクタ世俗的な正しさの為に生きるのか、それとも自分の正しさを身をもって証明するのか。人生に生きられるのか、人生を生きるのか。心が躍動するのは「認めてもらう」ではなく、「認...