その他 【Dart】型を明示しない変数（var, const, final)
型を明示しない変数型を明示せずに変数を書くこともできる。var：あとから変更できるconst , final ： あとから変更できないDartvoid main() { var name01 = 'Taro'; const name02 =...
その他 Dart 【Dart】変数
変数変数は、文字や数字などの値を一時的に保存しておくための「箱」のようなもの。Dartvoid main() { String name = 'Taro'; // nameという変数に「Taro」という文字を入れる int age = 23...
Dart 【Dart】コメントの書き方
コメントの書き方コメントは実行されない。1行のコメント： // の行末までがコメントになる。複数行のコメント： /* と */ で囲んだ部分がコメントになる。Dartvoid main() { // これは1行のコメントです。この部分は実行...
Dart 【Dart】print()
print()print() は、文字や数値などをコンソールに表示するための関数。文字列はシングルクォート ' ' またはダブルクォート " " で囲む（Dartでは、文の終わりにセミコロン ; をつける）Dart// print(表示した...
Dart 【Dart】main()関数
main()関数Dartのプログラムは、基本的に main() 関数から実行される。Dartvoid main() { print('Hello, Dart!');}/*出力結果：Hello, Dart!*/void main() { pr...
その他 【代数学】群の逆元の一意性
群の逆元の一意性定理（群の逆元の一意性）$(G, *)$ を 群 ，$a$ を 群 $G$ の任意の元とする．このとき，
位相空間 【位相空間】距離空間の定義
距離空間の定義定義（距離空間）$M$ を空でない集合とし，$d：M \times M \to \mathbb{R}^{\geq0}$ を写像とする．$d$ が次の条件 $\text{(M1)}$ 〜 $\text{(M3)}$ を満たすとき...
代数学 【代数学】零因子の定義
代数学 【代数学】部分群の定義
部分群の定義定義（部分群）$G$ を群とし，$H$ を $G$ の部分集合とする．$H$ が $G$ の二項演算について群になっているとき，$H$ を $G$ の部分群という．
代数学 【代数学】環の定義
環の定義定義（環）$R$ を集合とする．$R$ 上に2つの二項演算 $+$（加法）と $*$（乗法）が定義されていて，次の $\text{(R1)}$ 〜 $\text{(R4)}$ を満たすとき，組 $(R, +, *)$ を環という．$...
