Python で日記書いてみた

~$ python3 Python 3.8.5 (default, Jan 27 2021, 15:41:15) [GCC 9.3.0] on linux Type "help", "copyright", "credits" or "license" for more information. >>> import me >>> from today_events import * >>> print(me.is_awake()) True >>> import date…

functools.py が革命的に便利そうなのでまとめてみた

こんにちは、ぷりんです。いつものようにネットサーフィン(死語)をしていると、functools.py という Python の標準モジュールがあることを知りました↓↓ docs.python.org 関数やクラスを定義するときに補助的に使うものっぽいですが、これがなかなかに「かゆ…

「高校範囲では実数同士の四則演算が成立することは証明していない」について

以下のようなツイートをしたところ、一部から反響がありました。「高校範囲では実数同士の四則演算が成立することは証明していない」って言うとみんなビビるのかな— すむーずぷりんちゃん (@mat_der_D) 2021年2月28日 そこで今回はこの言葉の真意についてお…

Python で「へぇ〜ボタン」を作る(tkinter)

みなさん、へぇ〜ボタンをご存知でしょうか。15年ほど前にテレビで放映されていた「トリビアの泉」という雑学紹介番組で出てきたアイテムで、ゲストが「へぇ〜」と思った度合いに応じて押すボタンです。この番組は当時かなり人気で、へぇ〜ボタンのガチャガ…

引数の自然数番目の素数を返す Python プログラム

なんかTLに流れてきたので自己流で書いてみました。 upper_bound は wikipedia の素数定理のページの結果を鵜呑みにしてます。 ja.wikipedia.orgベラボーにでかい n だと float の精度の問題でだめになると思いますが、そんな場合はどうせそもそも計算終わら…

素数を無限に生成するイテレータを定義したい

すむーずぷりんです。 イテレータとは Python で for 文でどんどん要素出せるやつです。例えば for i in range(10): print(i) のときの range(10) みたいなやつです(正確には多分 range(10) に対応するイテレータオブジェクトの iter(range(10)) が生成され…

近所のホテルに泊まってみた話(2)

この記事は↓の続きです。 smooth-pudding.hatenablog.com 今日はチェックアウトまでの動きなのであんまり内容はないです。 前回のあらすじ 一日の流れ 起床@8:00~8:30 朝食@8:30~9:00 支度@9:00~10:00 チェックアウト@10:00 帰宅@10:10 まとめ 前回のあらす…

近所のホテルに泊まってみた話(1)

どうもすむーずぷりんです。近所を散歩しているとき、こんなことを考えたことはありませんか?「あ〜このホテル泊まってみてぇ」私は思いました。なので泊まってみました。 一日の流れ ホテルの予約@午前中 ぶらぶら@~15:00 チェックイン@15:00 ホテルでごろ…

a^3+b^3+c^3-3abc の因数分解の導出法 n 選

次のような因数分解の公式が知られています。数Iぐらいで習うのではないでしょうか。 数Iで習う公式の中ではおそらく最も覚えるのが大変なのではないかと思います。この記事ではこの公式の導出方法をいくつか紹介します。 展開する方法 特定の文字の三次式と…

ひさくんガチ恋bot自動化進捗(2)

ついに twitterAPI を手に入れたのでbotを自動化しました。当 bot は晴れて自動化されました。毎時00分にガチ恋ツイートをRT/ふぁぼします。— ひさくんガチ恋bot (@hisa_gachikoi) January 5, 2021 前回の記事(下記)からの進捗に加えて、試行錯誤した点をま…

ひさくんガチ恋bot自動化進捗(1)

明けましておめでとうございます。 昨年末に思い立って初めたひさくんガチ恋botの自動化ですが、思ったより進捗したので共有します。 概要 twitterAPI の権限の取得 Python コード開発 Heroku 登録 結論 蛇足 概要 端的には以下の通りです: twitterAPI の権…

ひさくんガチ恋bot自動化プロジェクト

お久しぶりです。年の瀬ですね。ひさくんガチ恋bot(手動) というのをご存知でしょうか。とあるアカウントが「ガチ恋」したツイートをRTするというシンプルな手動bot(???)です。 ただ手動を続けるのは限界があるというもので、11月頭あたりから更新が止まって…

黒峰問題が未解決問題に逆戻りした件について

「黒峰問題」と界隈で呼ばれている問題をご存知でしょうか。具体的には以下の問題です。 次を満たす整数 をすべて求めよ。 黒峰氏( @kuromineharuto ) が twitter で解答を求めたところいろんな人が群がり、ぷりんが勝手に「黒峰問題」と呼び出したのが最初…

Julia パッケージ作成用の雛形を作ってみたメモ

ずっと育てている Julia のコードを野良パッケージ化するために、Github に雛形を作ってみたので、メモを残しておきます。 自分で試す場合は、"mat-der-D" の部分や "SpectralMethodTools" の部分は適宜自分の環境に合わせて読み替えてください。目次 参考に…

Julia の FFTW.jl で使える fft, ifft, rfft, irfft の挙動に関する備忘録

Julia で CFD で使うスペクトル法ライブラリの開発のため、備忘録として FFTW.jl の fft, ifft, rfft, irfft の挙動をまとめておく。目次: はじめに インストール 関数 fft 関数 ifft 関数 rfft 関数 irfft はじめに Julia では簡単に fftw (高速フーリエ変…

Julia が Python より約25倍速いとあるコード

とある集会で「Julia は速いぞ!」というアピールのために、Python と Julia で同じように書いているのに20倍以上速度の違うコードを見せました。ということを twitter で書いたところ反響があったので、ここに残しておきます。(もっと速いように書けるだろ…

光速でシャトルランの動画の追試をしてみた

先日、以下の動画を見ました。ぷりんは思いました。「そんな雑な計算で満足すんの??」ということで、真面目に追試してみます。 問題の条件 条件の整理 最大レベル 累計移動回数 累計移動距離 累計移動時間 結果 追記(2020/08/22): 累計移動時間の計算プロ…

【あつまれどうぶつの森】簡単に利益を出せるカブの運用について

はじめに 結論 理屈 注意点 未検証のアイディア はじめに お久しぶりです。すむーずぷりんです。今日もTLを眺めていたら、以下のサイトがRTで流れてきました↓ あつまれどうぶつの森 カブ価変動のアルゴリズムが解明される https://hyperts.net/acnh-algorith…

【挑戦状】問45 想定解答.

多項式の問題です。【すむーずぷりんからの挑戦状】問45. ある2次の整式 f(x) について, 任意の整数 n に対して f(n) は偶数になるという. このとき f(x) の係数はすべて整数であることを示せ.想定解答は後ほど。— すむーずぷりんちゃん【挑戦状】は固定ツイ…

【挑戦状】問44 想定解答.

算数っぽい場合の数の問題です。【すむーずぷりんからの挑戦状】問44. 一円玉・五円玉・十円玉がたくさんあり, これらの一部を集めて合計44円のセットを作る. このようなセットは何通り作れるか.想定解答は↓https://t.co/vjYkZombB8— すむーずぷりんちゃん【…

【挑戦状】問43 想定解答.

図形の問題です。【すむーずぷりんからの挑戦状】問43. ある n 角形は, ある点 O を中心にしてある角度 θ (0<θ≦2π) だけ回転させると元の図形と一致するという. このとき θ/π は有理数であることを示せ.想定解答は↓https://t.co/5EWmXdMGHi— すむーずぷりん…

【挑戦状】問42 想定解答.

ヘンテコなさいころの問題です。【すむーずぷりんからの挑戦状】問42. さいころを2回振る. ただし一度出た目は 0 の目に変化するものとする(確率は変化しない). 出た目の和の期待値を求めよ.想定解答は↓https://t.co/1zDiHWYVeP— すむーずぷりんちゃん【挑戦…

【挑戦状】問41 想定解答.

二次関数の問題です。【すむーずぷりんからの挑戦状】問41. a を実数とする. 点 A(0, a) と曲線 y=x² 上を動く点 P に対し, AP の最小値を a の式で表せ.想定解答は↓https://t.co/Sy2DR7nmkk— すむーずぷりんちゃん【挑戦状】は固定ツイート (@mat_der_D) 20…

【挑戦状】問40 想定解答.

関数の例を挙げる問題です。【すむーずぷりんからの挑戦状】問40. 実数全体で定義される微分可能な関数 f(x) であって, lim[x→∞] f(x) は収束するが lim[x→∞] f'(x) は収束しないものをひとつ挙げよ.想定回答は後ほど。— すむーずぷりんちゃん【挑戦状】は固…

【挑戦状】問39 想定解答.

積分の値を評価する問題です。【すむーずぷりんからの挑戦状】問39. ∫[x=0~1] e^(-x²) dx > 2/3 を示せ. 必要ならば 2.71828 < e < 2.71829 を用いてもよい.想定解答は↓https://t.co/hgrlQcEyei— すむーずぷりんちゃん【挑戦状】は固定ツイート (@mat_der_D…

【挑戦状】問38 想定解答.

三角関数と整式の問題です。【すむーずぷりんからの挑戦状】問38. 任意の整数 n に対して f(sin(n°))=0 となるような, 整数係数の整式 f(x)≠0 が存在することを示せ.想定回答は後ほど.— すむーずぷりんちゃん【挑戦状】は固定ツイート (@mat_der_D) 2020年1…

【挑戦状】問37 想定解答.

整数と確率の複合問題です。【すむーずぷりんからの挑戦状】問37. さいころを3回振り, 1回目に出た目を百の位, 2回目に出た目を十の位, 3回目に出た目を一の位とする3桁の自然数を N とおく. N が 37 の倍数である確率を求めよ.想定解答は↓https://t.co/vt7Z…

【挑戦状】問36 想定解答.

不等式の処理の問題です。【すむーずぷりんからの挑戦状】問36. a, b を実数とし, f(x)=1+ax+bx² とおく. 任意の実数 x に対して f(x)≦e^x が成り立つような a, b の範囲を求めよ.想定解答は↓https://t.co/yRTaTuxut7— すむーずぷりんちゃん【挑戦状】は固定…

【挑戦状】問35 想定解答.

今回は無理数であることを示す問題です。【すむーずぷりんからの挑戦状】問35. tan2020° は無理数であることを示せ.想定解答は↓https://t.co/alhCw6nZ9K— すむーずぷりんちゃん【挑戦状】は固定ツイート (@mat_der_D) 2020年1月1日 あけましておめでとうござ…

【挑戦状】問34 想定解答.

今回は整数の問題です。【すむーずぷりんからの挑戦状】問34. 2019=672+673+674 のように, 2019 を 1 つ以上のいくつかの連続した自然数の和で表す方法は何通りあるか. ただし足す順序を入れ替えたものは同じ表し方として数えることとする.想定解答は↓https:…