本記事の結論（Executive Summary）
本記事で参照する公式資料
なぜ補足記事を書くのか
本記事の主題
- 読者の皆様が、まず抱かれるであろう疑問
検証の範囲について
本記事の議論の流れと読み方
第１部 ── 1.12.0 の告知内容
- 告知文の全体
- 宇宙系に関する２つの項目
第２部 ── Universe placement rules と、第６回の記述の照合
第３部 ── 宇宙レベルに束縛されない型とは何か
第４部 ── GitHub とブログの不整合
- 確認した事実
- 可能性①の確認 ── IntelliJ プラグインに同梱されている
- 手がかり ── \lp \lh \oo の文字列が、1.12.0 の jar にない
- この確認で、決着したこと・しなかったこと
- もうひとつの不整合 ── ドキュメントと論文
- 本記事の検証の範囲
第５部 ── 検証結果
- 検証した５件
- 結果
- ① ── 第３部で扱った
- ② \oo ── 1.12.0 のドキュメントに存在しない
- ③ \lh ── 1.12.0 のドキュメントに存在しない
- ④ レベルなしの \Set ── 1.12.0 ではエラー
- ⑤ .{l} 構文 ── 1.12.0 の記法
- 第６回の記述で、変わるもの・変わらないもの
- 本当に、記法だけなのか
- 第６回のコラムの訂正
- 強みと弱みは、どう変わりそうか
本記事の結論
次回について
連載リンク
Appendix ── 本記事で実機検証したコード
【発展篇】中上級者向けのコラム
出典一覧