![](https://cdn-ak-scissors.b.st-hatena.com/image/square/2b1aee6e87069071dc0350113197f88fc44cffe3/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JUUzJTgzJTk3JUUzJTgzJUFEJUUzJTgyJUIwJUUzJTgzJUE5JUUzJTgzJTlFJUUzJTgzJUJDJUU1JTkwJTkxJUUzJTgxJTkxJUUzJTgxJUFFJUVGJUJDJTg4JUVGJUJDJTlGJUVGJUJDJTg5JUU2JTk1JUIwJUU3JTkwJTg2JUU4JUFCJTk2JUU3JTkwJTg2JUU1JUFEJUE2JUVGJUJDJTg4JUVGJUJDJTkzJUVGJUJDJTg5JUUzJTgyJUE2JUUzJTgyJUE3JUUzJTgzJTk2JUUzJTgyJUEyJUUzJTgzJTk3JUUzJTgzJUFBJUU1JThDJTk2JnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LWNsaXA9ZWxsaXBzaXMmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1hODMyYThiYmM3YzkyOWM3ZGFjYWE3ZDBhYzBkYWMyNQ%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwcGl6eXVtaSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9OTY3MDIzYWJiMTY1MDU4M2QzYzk3N2JjZWU4ZmYyZmE%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Db6847bca07dce1a97eee60f69c15e4d6)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
プログラマー向けの(?)数理論理学(3)ウェブアプリ化 - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
プログラマー向けの(?)数理論理学(3)ウェブアプリ化 - Qiita
プログラマー向けというか、数理論理学の枠組みをプログラムとして実装したい人とか形式化数学をやりた... プログラマー向けというか、数理論理学の枠組みをプログラムとして実装したい人とか形式化数学をやりたい人向けの記事かもしれません(形式化数学についてはこちらの記事もどうぞ)。 この記事はプログラムの実装についての記事なので、プログラミングに興味のない方は飛ばして次の記事に進んでください。 なお、ソースコード全体はGitHubにあります。 https://github.com/pizyumi/rena 前回以前の記事 プログラマー向けの(?)数理論理学(1)数学的言明 プログラマー向けの(?)数理論理学(2)証明と推論規則と仮定 実装内容 ここまで作ってきたプログラムは実際の証明を行うツールとしては貧弱なので、幾つか便利な機能を追加してもう少し使いやすいものにしていきます。また、同時にウェブアプリ化も行います。 主な変更点や実装内容は下のようになります。 ウェブアプリ化 複数のコマンドの実行 コ