形式論理学 量化子【形式論理学10】
論理学を学ぶ記事です． 本記事では，量化子について説明します． 量化子 ある命題が全ての対象について主張される場合と，少なくとも一つの対象について主張される場合があります． そのような命題を表す場合に，量化子を用います． 量化子には「全ての...
efcharisto
形式論理学 
数学基礎 自然数【数学基礎】
数学の学び直しの記事です． 自然数の定義と加法・減法・乗法について解説します． 自然数 数を考えるとき，最も身近なのは数えることだと思います． ある物の数を1個，2個，…と数えることができます． ここに現れる数\(\{1, 2, \dots...
線型代数学 ベクトルの内積の問題【線型代数問題1‐4】
線型代数学の問題の解説をします． ベクトルが直交するかどうかを内積を利用して調べる問題です． 問題 以下の三つのベクトル\(\boldsymbol{u},\boldsymbol{v},\boldsymbol{w}\)に対して，直交するベクト...
形式論理学 論理記号と演算子の類似性【形式論理学9】
論理学を学ぶ記事です． 本記事では，論理演算について説明します． 論理和 \(A \lor B\)の真理表を以下に記します． \(A\)\(B\)\(A \lor B\)111101011000 これは，1と1を演算して1，1と0を演算して...
線型代数学 ベクトルの内積の問題【線型代数問題1‐3】
線型代数学の問題の解説をします． 二つのベクトルの内積を求める問題です． 問題 以下の二つのベクトル\(\boldsymbol{u},\boldsymbol{v}\)に対して，\(\boldsymbol{u}\cdot\boldsymbol...
高校生物 RNAについて【高校生物6】
高校生物の学び直し記事です．ここではRNAについて概説します． RNA RNAはリボ核酸の略です(図6-1)． 図6-1 RNAの構造 RNAは，窒素塩基とリボースが結合したヌクレオシドがリン酸の結合を介して鎖状に繋がっているヌクレオチドと...
力学 幾何学的対象の表現【力学6】
物理学の学び直しのための記事です．ここでは空間内の直線や平面などの幾何学的対象の表現について解説します． 直線の表現 直線は質点のシンプルな運動の軌跡の一つです． 点\(A, B\)を通る直線を表す式は，直線上の点を\(P\)として以下のよ...
形式論理学 シェファーの棒記号【形式論理学8】
論理学を学ぶ記事です． 本記事では，シェファーの棒記号について説明します． シェファーの棒記号 下記の論理式\(X\)を考えます． \(A\)\(B\)\(X\)110101011001 この論理式を\(X \Leftrightarrow ...
線型代数学 ベクトルの線型結合の問題【線型代数問題1‐2】
線型代数学の問題の解説をします． あるベクトルをいくつかのベクトルの線型結合で表現する問題です． 問題 ベクトル\(\boldsymbol{v} = (1, -2, 5)\)を，\(\boldsymbol{u}_1 = (1, 1, 1),...
高校生物 DNAについて【高校生物5】
高校生物の学び直し記事です．ここではDNAについて概説します． DNA DNAはデオキシリボ核酸の略です(図5-1)． 図5-1 DNAの構造 Store genetic information：遺伝子情報を格納，DNA is polyme...