コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Android

Termuxを利用したAndroidでのIdris、Egison環境の構築

2020/05/09追記 うまくいかなくなっているようです。 修正記事を書くかどうかも未定です。 AndroidでIdris、Egison環境を構築できたので書いてみる。 アプリTermuxを使う。root化しなくても良い所が嬉しい。 使用スマホはZenFone 5、Android 8.0です。 1.端…

オフラインでAndroid上で実行できるプログラミングアプリ

試してみた。 BASIC! https://play.google.com/store/apps/details?id=com.rfo.basic&hl=ja BASICができます。アプリも作れるみたい。 SL4A PythonとかRubyとかができます。野良アプリです。 X-Prolog https://play.google.com/store/apps/details?id=org.xp…