jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ その他 お久しぶりになってしまいました。 暑い夏の間ちょっと数学系の話題から離れていたこともありこのブログもしばらく放置してしまいました。ぼちぼち復活していきたいと思います。 今回はすこしリハビリも兼ねて最近の私の開発環境の話です。Lean4をM1 iMac, VSCodeで使っています。M1 iMacにOSメジャーアップデートである macOS 15.0 Sequoia が降ってきましたのでそれに合わせて必要なソフトウェアを全て更新してみました。その環境でとりあえず目立った不具合はなくLean4が使えています。 アップデートした開発環境は以下のとおりです。 M1 iMac 16GB + 1TB ma… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2024%2F09%2F25%2F180000" title="-その他- macOS 15.0でlean4は動きました！ - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20240615/20240615082052.jpg Hatena Blog https://hatena.blog 2024-09-25 18:00:00 rich https://maxima.hatenablog.jp/entry/2024/09/25/180000 1.0 100%