ykm11.hatenablog.com に関係する話。 前提として、\(\frac{a}{b}, \frac{c}{d} \)は既約分数である。 つまり\(GCD(a, b) = GCD(c, d) = 1 \)。（GCD(X,Y)はXとYの最大公約数） prop. 上の前提の元、\(GCD(b, d) = 1\) ならば\(GCD(ad + bc, bd) = 1\)である…

GMPの有理数mpq_tの加減算を，実装を読みながら理解する． 加算も減算も本質的には同じなので、ここでは単に加算と呼ぶ。 op1が\(\frac{a}{b}\), op2が\(\frac{c}{d}\)で表され, それぞれ既約分数であるとする． これらの和\(op1 + op2 = \frac{ad + bc}{bd}…

体調が終わってて、起きたら昼だった。 軽く飯食べて、これ読んでた。 search.ieice.org クロック間衝突は、ある2クロックサイクルの間で、組み合わせ回路の入力が変化しないことを言う。レジスタの値が変わっていないというふうに置き換えてもいいのかな。 …

電通大を卒業しました（してない）（卒業式は3月25日）。高専からの編入なので在籍期間は2年です。 2年間を振り返ります。ちなみに4月からの所属は電通大の大学院になります。よろしくね。 [追記] 高専卒業したときのやつがあった。当時流行ったネタを盛り込…

一ヶ月くらい更新が止まってた。久しぶり。 卒研発表があって目黒会賞を貰えることになったり、単位全部取れて無事卒業が決まったりした。 またぼちぼち更新していこうかな。ちなみにGMP解説書の執筆は完全に滞ってる。 2,3日前から楕円曲線の実装をちょっと…

バイクの店行ってきた．USB給電のソケット取り付け依頼してきた． 同人誌の執筆が滞ってる．火曜日の試験と発表資料の準備をしないとね． 発表終わってもまだ課題あるけど．

卒論を提出しました． 研究が始まります．その前に期末試験だけどね．

GMPの有理数mpq_tの乗算を，実装を読みながら理解する． op1が\(\frac{a}{b}\), op2が\(\frac{c}{d}\)で表され，既約分数であるとする． これらの積\(op1 \cdot op2 = \frac{ac}{bd}\)が既約分数であるとは限らないので，計算結果をいい感じに既約分数で表し…

わかってない部分が多すぎる． mpf_classはコンストラクタの中でmpf_set_precを使って精度を設定してるのだと思っていたが，どうやらそうではないらしい．mpf_init2を呼んでるっぽい． 流れとしては init2, __gmp_set_expr(mpf_ptr f, const __gmp_expr<mpq_t, T> &exp</mpq_t,>…

今日で学会終わり．発表は昨日やってた． あとは卒論書いて発表資料作って終わりかな．今年度もクライマックスだ．卒業できるかな． 今まではmpzだけの話だったけど，今後は有理数や浮動小数点にも話を拡げていこうかなと． 手始めにmpq, mpfの定義を探す． …

今日から学会．僕の発表は木曜日の最終セッション(の最後)．みんな疲れてそう． Golangで多倍長整数を扱うとき，標準に実装されてるものを使うならmath/bigintになるわけだが，こいつの中身がどうなってるのか気にしたことがなかったので調べてみた． 参照し…

明日からSCIS2021．ただ僕は明日は授業がある．バカでしょ．まぁ発表日と被ってないだけマシ．というか出席点がある講義が悪いし，そもそも講義受けてるのは大学がバカだからなんだよな．給付金として10万さっさと寄越してほしい． 授業がつまらないと感じる…

学会前最後の発表練習会。あとは時間に合うよう調整かな。 明日は色々な引き継ぎのために大学行く。

ゼミ．明日は研究室内の発表練習会．学会前の打ち合わせはこれが最後かな，火曜日から始まるし． 去年の締めくくりとか今年の抱負を書くの忘れてた．去年の締めくくりは，卒業できたら年度の締めくくりとして別に書くかな．抱負については，北海道と国際会議…

来週は火曜日から金曜日まで学会．ちょうど一週間後．僕の発表は木曜日だからまだちょっと時間ある感じ．発表資料はあと1,2回添削受けて修正したら終わりかな．本来なら小倉で開催だったけど，今年はオンラインになってしまった．まぁしょうがない． はやく…

mp_limb_t[CONST_SIZE]をゼロ埋め（初期化）するとき、mpn_zeroを使う方法とmemsetを使う方法があった。また、どちらの方法においても、初期化するサイズを定数とするか変数とするかで場合分けができる。 速度比較を行った結果、サイズを定数としてmemsetを…

そろそろ諸々の資料を作らないといけない．がやる気が出ない．困った． 今は学会発表に向けて資料を作る段階で，実験やるフェーズじゃないからまぁなんとかできるのかな． バイクのインカムを手に入れた．走りながらラジオ聞ける．