Lean4 【Lean4】section
section仮定の有効範囲を整理するために使うPlaintextsection Characteristic...end Characteristicsection Characteristic...end Characteristic
Lean4 Lean4 【Lean4】constructor
constructorconstructorは示すべきことを分割する
Lean4 【Lean4】abbrev
abbrevabbrevは省略名を定義する命令Plaintextabbrev FrobeniusPowers : Type _ := (frobenius K p).rangeabbrev FrobeniusPowers : Type _ ...
Lean4 【Lean4】variable
Lean4 【Lean4】namespace
これ以降に定義するものをnamespaceという名前空間に入れるend namespaceの名前 と書いてnamespaceを閉じる
Dart 【Dart】リスト
リストリストは複数の値をまとめて入れられる箱のようなもの。DartList<String> names = ['Taro', 'Hanako', 'Jiro'];List<String> names = ['Taro', 'Hanako',...
Dart 【Dart】論理結合子
論理結合子&&：かつ（AND）||：または（OR）!：〜でない（NOT）
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...
