and Dynamically Verifiable Math Docs using Mizar https://mizar.work/dokuwiki/ Mon, 28 Sep 2026 00:48:54 +0000 FeedCreator 1.8 https://mizar.work/dokuwiki/lib/exe/fetch.php?media=wiki:dokuwiki.svg https://mizar.work/dokuwiki/ https://mizar.work/dokuwiki/doku.php?id=teaching:common:stack-input&rev=1790509972 STACKでの数式入力記法 STACKとは Moodleは学習管理システム（LMS: Learning Management System）の1つです。オープンソースソフトウェアとして開発されており教材の配布や小テストの実施や課題の提出や成績の集計などを行うことができます。\(a,b,c,\ldots\)\(\pi\)\(\Pi\)\(\phi\)\(P,Q\)\(P\)\(P\)\(P\)\(P\)\(P\)\(\neg P\)\(P\)\(Q\)\(P\land Q\)\(P\)\(Q\)\(P\lor Q\)\(P\)\(Q\)\(P\to Q\)\(P\)\(Q\)\(P\leftrightarrow Q\)\(P\to Q\)\(P\Rightarrow Q\)\(P\Rightarrow Q\)\(Q\Rightarrow P\)\(P\)\(Q\)\(P\Leftrightarrow Q\)\(P\leftrightarrow Q\)$$ (P\to Q)\land(Q\to P) $$\(P\to Q\)\(Q\to P\)\(P\)\(Q\)\(a,b\)\(a,… superuser@undisclosed.example.com (superuser) Sun, 27 Sep 2026 11:52:52 +0000 https://mizar.work/dokuwiki/doku.php?id=teaching:sidebar&rev=1789902625 STACKでの数式入力記法 * 2-1 * 2-2 * 2-3 * 2-4 * 2-5 * 3-1 * 3-2 * 3-3 * 3-4 * 3-5 * 4-1 * 4-2 * 4-3 * 4-4 * 4-5 * 5-1 * 5-2 * 5-3 * 5-4 * 5-5 * 6-1 * 6-2 * 6-3 * 6-4 * 6-5 * 7-1 * 7-2 * 7-3 * 7-4 * 7-5 * 8-1 * 8-2 * 8-3 * 8-4 * 8-5 * 9-1 * 9-2 * 9-3 * 9-4 * 9-5 * 10-1 * 10-2 * 10-3 * 10-4 * 10-5 * 11-1 * 11-2 * superuser@undisclosed.example.com (superuser) Sun, 20 Sep 2026 11:10:25 +0000