Lean4 【Lean4】def
defdefは新しい定義を作る命令defは次のように書くPlaintextdef 名前 引数 : 返り値の型 := 定義の中身def 名前 引数 : 返り値の型 := 定義の中身Plaintextdef myFrobeniusFun (x ...
その他
Lean4 Lean4 【Lean4】variable
Lean4 【Lean4】namespace
これ以降に定義するものをnamespaceという名前空間に入れるend namespaceの名前 と書いてnamespaceを閉じる
Dart 【Dart】比較演算子
比較演算子 ==等しい !=等しくない >より大きい >=以上 <=以下
Dart 【Dart】if文（条件分岐）
if：条件分岐特定の条件が成り立つ時だけある処理を実行したいときは、if を使う。Dart//ageが18以上なら「成人です」と表示するif文void main() { final age = 20; if (age >= 18) { pr...
その他 【Dart】nullが入る変数
nullが入る変数通常、変数には null を入れることはできないが、 ? をつけることで null も入れられるようになるDartString name01 = 'Taro';name01 = null; //エラーString? nam...
その他 【Dart】型を明示しない変数（var, const, final)
型を明示しない変数型を明示せずに変数を書くこともできる。var：あとから変更できるconst , final ： あとから変更できないDartvoid main() { var name01 = 'Taro'; const name02 =...
Dart 【Dart】コメントの書き方
コメントの書き方コメントは実行されない。1行のコメント： // の行末までがコメントになる。複数行のコメント： /* と */ で囲んだ部分がコメントになる。Dartvoid main() { // これは1行のコメントです。この部分は実行...
その他 【代数学】群の逆元の一意性
群の逆元の一意性定理（群の逆元の一意性）$(G, *)$ を 群 ，$a$ を 群 $G$ の任意の元とする．このとき，
