VSCodeとMarkdownでガントチャート
テキストでガントチャートを描く方法についてまとめます。 (さらに…)
ゆるくつくる stabuckyのブログ
テキストでフローチャートなどを書くことができるツールがMermaidです。
最も簡単に試す方法としてはVSCodeの拡張機能があります。
私はMarkdown Preview Enhancedを使っています。 (さらに…)
Microsoft Researchが作ったZ3というツールがあります。
これを使うと魔方陣や数独などを簡単に解くことができます。
簡単にと言っても使い方は難しいです。
今回はPythonでZ3を使って覆面算を解いてみます。Macで試しました。 (さらに…)