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 【Dart】変数
変数変数は、文字や数字などの値を一時的に保存しておくための「箱」のようなもの。Dartvoid main() { String name = 'Taro'; // nameという変数に「Taro」という文字を入れる int age = 23...
