Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2013-10-01から1ヶ月間の記事一覧

-Android- Maxima on Android 2.0 リリース

試し撮り EOS 70D, EF 135mm F2L // 本日、Maxima on Android 2.0をGoogle Playにアップロードしました。 今回は段階的リリースを行います。まず10%の利用者に更新通知が行われます。特に大きな問題がなければ水曜日頃、全ユーザに拡大する予定です。 新機能…

Mac OS X Mavericksの上でMaxima と imaximaの動作確認

折紙 EOS 70D, EF-S 60mm // Mac OS X MavericksがAppleからリリースされました。色々と調べた結果、大丈夫だろうと判断して、家のマックをMavericksにアップデートしました。 Emacsを起動して、imaximaを起動すると、、、なんだかエラーが出ています。X11を…

-Android- Maxima on Androidのテスト自動化 (3) - Robotium -

麻婆豆腐 EOS 70D, EF-S 60mm F2.8 // さて、AndroidアプリをUIレベルでテストすると、結果的には全てのレイヤーの機能を複合的に使うことになります。このため、このような機能は統合テストになります。 Maxima on Androidでは以下のようなテストがこのレベ…

-Android- Maxima on Androidのテスト自動化 (2) Junit

Android SDKはJunitをAndroid向けに拡張したテストフレームワークをサポートしています。ロジックテストはこのフレームワークの中の基本部分を使うことで記述することができます。 具体的には、junit.framework.TestCaseというクラスがあるので、これにテス…

-Android- Maxima on Androidのテスト自動化 (1)

Maxima on Androidに機能を追加してGoogle Playに公開する際、必ず事前にテストを行います。今まではこのテストを全て手動で実行していました。しかし、それも辛くなって来たし、テストくらい自動でやるべき、とも思い始めておりました。 Androidのテストフ…

-数学- 素数の逆数の和は整数にはならない

// EOS 70D購入! \( i \)番目の素数\( p_{i} \)を最初から\( k \)個足した和を考えます。\( k \)をどのようにとってもこの和がちょうど整数になることは決してありません。 仮にちょうど整数になったとしてその数を\( n \)とします。 (%i1) n=sum(1/p[i],i,…