℘ make now just

℘ make now just

if you wanna break free you better listen to me

SepOctNovDecJanFebMarAprMayJunJulAug/post/2024-08-11-diary//post/2024-08-12-diary//post/2024-08-13-diary//post/2024-08-14-diary//post/2024-08-15-diary//post/2024-08-16-diary//post/2024-08-17-diary//post/2024-08-18-diary//post/2024-08-19-diary//post/2024-08-20-diary//post/2024-08-21-diary//post/2024-08-22-diary//post/2024-08-23-diary//post/2024-08-24-diary//post/2024-08-25-diary//post/2024-08-26-diary//post/2024-08-27-diary//post/2024-08-28-diary//post/2024-08-29-diary//post/2024-08-30-diary//post/2024-08-31-diary//post/2024-09-01-diary//post/2024-09-02-diary//post/2024-09-03-diary//post/2024-09-04-diary//post/2024-09-05-diary//post/2024-09-06-diary//post/2024-09-07-diary//post/2024-09-08-diary//post/2024-09-09-diary//post/2024-09-10-diary//post/2024-09-11-diary//post/2024-09-12-diary//post/2024-09-13-diary//post/2024-09-14-diary//post/2024-09-15-diary//post/2024-09-16-diary//post/2024-09-17-diary//post/2024-09-18-diary//post/2024-09-19-diary//post/2024-09-20-diary//post/2024-09-21-diary//post/2024-09-22-diary//post/2024-09-23-diary//post/2024-09-24-diary//post/2024-09-25-diary//post/2024-09-26-diary//post/2024-09-27-diary//post/2024-09-28-diary//post/2024-09-29-diary//post/2024-09-30-diary//post/2024-10-01-diary//post/2024-10-02-diary//post/2024-10-03-diary//post/2024-10-04-diary//post/2024-10-05-diary//post/2024-10-06-diary//post/2024-10-07-diary//post/2024-10-08-diary//post/2024-10-09-diary//post/2024-10-10-diary//post/2024-10-11-diary//post/2024-10-12-diary//post/2024-10-13-diary//post/2024-10-14-diary//post/2024-10-15-diary//post/2024-10-16-diary//post/2024-10-17-diary//post/2024-10-18-diary//post/2024-10-19-diary//post/2024-10-20-diary//post/2024-10-21-diary//post/2024-10-22-diary//post/2024-10-23-diary//post/2024-10-24-diary//post/2024-10-25-diary//post/2024-10-26-diary//post/2024-10-27-diary//post/2024-10-28-diary//post/2024-10-29-diary//post/2024-10-30-diary//post/2024-10-31-diary//post/2024-11-01-diary//post/2024-11-02-diary//post/2024-11-03-diary//post/2024-11-04-diary//post/2024-11-05-diary//post/2024-11-06-diary//post/2024-11-07-diary//post/2024-11-08-diary//post/2024-11-09-diary//post/2024-11-10-diary//post/2024-11-11-diary//post/2024-11-12-diary//post/2024-11-13-diary//post/2024-11-14-diary//post/2024-11-15-diary//post/2024-11-16-diary//post/2024-11-17-diary//post/2024-11-18-diary//post/2024-11-19-diary//post/2024-11-20-diary//post/2024-11-21-diary//post/2024-11-22-diary//post/2024-11-23-diary//post/2024-11-24-diary//post/2024-11-25-diary//post/2024-11-26-diary//post/2024-11-27-diary//post/2024-11-28-diary//post/2024-11-29-diary//post/2024-11-30-diary//post/2024-12-01-diary//post/2024-12-02-diary//post/2024-12-03-diary//post/2024-12-04-diary//post/2024-12-05-diary//post/2024-12-06-diary//post/2024-12-07-diary//post/2024-12-08-diary//post/2024-12-09-diary//post/2024-12-10-diary//post/2024-12-11-diary//post/2024-12-12-diary//post/2024-12-13-diary//post/2024-12-14-diary//post/2024-12-15-diary//post/2024-12-16-diary//post/2024-12-17-diary//post/2024-12-18-diary//post/2024-12-19-diary//post/2024-12-20-diary//post/2024-12-21-diary//post/2024-12-22-diary//post/2024-12-23-diary//post/2024-12-24-diary//post/2024-12-25-diary//post/2024-12-26-diary//post/2024-12-27-diary//post/2024-12-28-diary//post/2024-12-29-diary//post/2024-12-30-diary//post/2024-12-31-diary//post/2025-01-01-diary//post/2025-01-02-diary//post/2025-01-03-diary//post/2025-01-04-diary//post/2025-01-05-diary//post/2025-01-06-diary//post/2025-01-07-diary//post/2025-01-08-diary//post/2025-01-09-diary//post/2025-01-10-diary//post/2025-01-11-diary//post/2025-01-12-diary//post/2025-01-13-diary//post/2025-01-14-diary//post/2025-01-15-diary//post/2025-01-16-diary//post/2025-01-17-diary//post/2025-01-18-diary//post/2025-01-19-diary//post/2025-01-20-diary//post/2025-01-21-diary//post/2025-01-22-diary//post/2025-01-23-diary//post/2025-01-24-diary//post/2025-01-25-diary//post/2025-01-26-diary//post/2025-01-27-diary//post/2025-01-28-diary//post/2025-01-29-diary//post/2025-01-30-diary//post/2025-01-31-diary//post/2025-02-01-diary//post/2025-02-02-diary//post/2025-02-03-diary//post/2025-02-04-diary//post/2025-02-05-diary//post/2025-02-06-diary//post/2025-02-07-diary//post/2025-02-08-diary//post/2025-02-09-diary//post/2025-02-10-diary//post/2025-02-11-diary//post/2025-02-12-diary//post/2025-02-13-diary//post/2025-02-14-diary//post/2025-02-15-diary//post/2025-02-16-diary//post/2025-02-17-diary//post/2025-02-18-diary//post/2025-02-19-diary//post/2025-02-20-diary//post/2025-02-21-diary//post/2025-02-22-diary//post/2025-02-23-diary//post/2025-02-24-diary//post/2025-02-25-diary//post/2025-02-26-diary//post/2025-02-27-diary//post/2025-02-28-diary//post/2025-03-01-diary//post/2025-03-02-diary//post/2025-03-03-diary//post/2025-03-04-diary//post/2025-03-05-diary//post/2025-03-06-diary//post/2025-03-07-diary//post/2025-03-08-diary//post/2025-03-09-diary//post/2025-03-10-diary//post/2025-03-11-diary//post/2025-03-12-diary//post/2025-03-13-diary//post/2025-03-14-diary//post/2025-03-15-diary//post/2025-03-16-diary//post/2025-03-17-diary//post/2025-03-18-diary//post/2025-03-19-diary//post/2025-03-20-diary//post/2025-03-21-diary//post/2025-03-22-diary//post/2025-03-23-diary//post/2025-03-24-diary//post/2025-03-25-diary//post/2025-03-26-diary//post/2025-03-27-diary//post/2025-03-28-diary//post/2025-03-29-diary//post/2025-03-30-diary//post/2025-03-31-diary//post/2025-04-01-diary//post/2025-04-02-diary//post/2025-04-03-diary//post/2025-04-04-diary//post/2025-04-05-diary//post/2025-04-06-diary//post/2025-04-07-diary//post/2025-04-08-diary//post/2025-04-09-diary//post/2025-04-10-diary//post/2025-04-11-diary//post/2025-04-12-diary//post/2025-04-13-diary//post/2025-04-14-diary//post/2025-04-15-diary//post/2025-04-16-diary//post/2025-04-17-diary//post/2025-04-18-diary//post/2025-04-19-diary//post/2025-04-20-diary//post/2025-04-21-diary//post/2025-04-22-diary//post/2025-04-23-diary//post/2025-04-24-diary//post/2025-04-25-diary//post/2025-04-26-diary//post/2025-04-27-diary//post/2025-04-28-diary//post/2025-04-29-diary//post/2025-04-30-diary//post/2025-05-01-diary//post/2025-05-02-diary//post/2025-05-03-diary//post/2025-05-04-diary//post/2025-05-05-diary//post/2025-05-06-diary//post/2025-05-07-diary//post/2025-05-08-diary//post/2025-05-09-diary//post/2025-05-10-diary//post/2025-05-11-diary//post/2025-05-12-diary//post/2025-05-13-diary//post/2025-05-14-diary//post/2025-05-15-diary//post/2025-05-16-diary//post/2025-05-17-diary//post/2025-05-18-diary//post/2025-05-19-diary//post/2025-05-20-diary//post/2025-05-21-diary//post/2025-05-22-diary//post/2025-05-23-diary//post/2025-05-24-diary//post/2025-05-25-diary//post/2025-05-26-diary//post/2025-05-27-diary//post/2025-05-28-diary//post/2025-05-29-diary//post/2025-05-30-diary//post/2025-05-31-diary//post/2025-06-01-diary//post/2025-06-02-diary//post/2025-06-03-diary//post/2025-06-04-diary//post/2025-06-05-diary//post/2025-06-06-diary//post/2025-06-07-diary//post/2025-06-08-diary//post/2025-06-09-diary//post/2025-06-10-diary//post/2025-06-11-diary//post/2025-06-12-diary//post/2025-06-13-diary//post/2025-06-14-diary//post/2025-06-15-diary//post/2025-06-16-diary//post/2025-06-17-diary//post/2025-06-18-diary//post/2025-06-19-diary//post/2025-06-20-diary//post/2025-06-21-diary//post/2025-06-22-diary//post/2025-06-23-diary//post/2025-06-24-diary//post/2025-06-25-diary//post/2025-06-26-diary//post/2025-06-27-diary//post/2025-06-28-diary//post/2025-06-29-diary//post/2025-06-30-diary//post/2025-07-01-diary//post/2025-07-02-diary//post/2025-07-03-diary//post/2025-07-04-diary//post/2025-07-05-diary//post/2025-07-06-diary//post/2025-07-07-diary//post/2025-07-08-diary//post/2025-07-09-diary//post/2025-07-10-diary//post/2025-07-11-diary//post/2025-07-12-diary//post/2025-07-13-diary//post/2025-07-14-diary//post/2025-07-15-diary//post/2025-07-16-diary//post/2025-07-17-diary//post/2025-07-18-diary//post/2025-07-19-diary//post/2025-07-20-diary//post/2025-07-21-diary//post/2025-07-22-diary//post/2025-07-23-diary//post/2025-07-24-diary//post/2025-07-25-diary//post/2025-07-26-diary//post/2025-07-27-diary//post/2025-07-28-diary//post/2025-07-29-diary//post/2025-07-30-diary//post/2025-07-31-diary//post/2025-08-01-diary//post/2025-08-02-diary//post/2025-08-03-diary//post/2025-08-04-diary//post/2025-08-05-diary//post/2025-08-06-diary//post/2025-08-07-diary//post/2025-08-08-diary//post/2025-08-09-diary//post/2025-08-10-diary//post/2025-08-11-diary//post/2025-08-12-diary//post/2025-08-13-diary//post/2025-08-14-diary/
  • Less
  • More

Post List [1/151]:

next

  • : Marktoberdorf 9日目

    やったこと Marktoberdorf 昨日のexcursionであまりに消耗したため、完全にダメになっていた。 苦手なことはやるべきではない。 あと全体的に詳細すぎる話が多くてあまり学びがなかった。 しいて言うならsimplification orderingという言葉は覚え…

  • : Marktoberdorf 8日目

    やったこと Marktoberdorf 今日はexcursionがあった。 バスで南の方まで移動して、そのあとは徒歩でここに向かった。 https://kaiserschmarrn-alm.de 結構遠くて1時間半くらいかかったのではないかと思う。 途中、川沿いに洞窟のようなと…

  • : Marktoberdorf 7日目

    やったこと Marktoberdorf 2週目の2日目。 2週目の方が丁寧な講義が多くて分かりやすいような気がする。 久し振りにSAT Solverを作りたい気持ちになっている。 やってみるべきかもしれない。 Bolt Boltというプログラミング言語がある。 実行速度をウリに…

  • : Marktoberdorf 6日目

    やったこと Marktoberdorf https://x.com/make_now_just/status/1954798283739529675 2週目。 講師陣が入れ替わり内容が一新される。 個人的に興味深かったのは、コンパイラのテストをする話かもしれない。 わりと実践的…

  • : Marktoberdorf 5日目 (休日)

    やったこと Marktoberdorf 日曜日なので休日。 どこかに行くか悩んでいたのだけど、32ユーロでバイエルン州内の周遊チケットがあることに気付いたので、ダッハウに行くことにした。 ミュンヘンから北に少し行ったところ。ダッハウには強制収容所の跡地がある。 多分それしかない…

  • : Marktoberdorf 4日目

    やったこと Marktoberdorf LPに関する直感が足りてないときにそういう話を色々されても分からんなぁ、と思いながら聞き流していた。 大まかな流れはイメージできるのだが、細かい話は全く分からない。 諦めも肝心だろう。 NetKATに関しては、逆に予習しすぎてあまり講義で…

  • : Marktoberdorf 3日目

    やったこと Marktoberdorf superpositionの気持ちが分かりそうで分かっていない。 とりあえず、first-orderならどうにかなるのが、higher-orderになるとすごく難しくなるということは分かった。 SAT関連というか、resolutionの話…

  • : Marktoberdorf 2日目

    やったこと Marktoberdorf 引き続きSAT関連の話が多い。 ただ、より詳細に踏み込んできたので面白くなってきた気がする。 とくに、グラフっぽい問題をSATにエンコードして解決する話は興味深かった。 点が何個あれば凸n角形 (-gon) が作れるかという問題や、逆に何…

  • : Marktoberdord 1日目

    やったこと Marktoberdorf SAT関連の話が多かった気がする。 何にしても裏にSATが使われているので、意識せざるを得ないということなのかもしれない。 個人的にはクレカの決済プロトコルを検証した話が興味深かった。 Tamarinは本当に使われているんだなぁ、という気…

  • : ミュンヘンに到着した

    やったこと 北京首都国際空港 北京首都国際空港で、トランジットのための検査があったのだけど、やたらチェックされてちょっと怖かった。 やはり恐ろしい‥‥。 北京首都国際空港には無料のWi-Fiがあるのだけど、謎の機械にパスポートを入れてアカウントを発行してもらう仕組みで面白かった…

  • : 出国した

    やったこと 日常 さすがに昨日の疲れが残っている。 休みたいが動かねばならない。 がんばれ！ 出国 日本を出てドイツへ。 成田空港にやって来た。 なんとなく第2ターミナルかと思っていたら第1ターミナルだった。 やりがちなミスなので気を付けたい。 第1ターミナルでもウイングの北と…

  • : NEVER END IDOL!!!!!!!!!!!!! DAY 2

    やったこと NEVER END IDOL!!!!!!!!!!!!! DAY 2 12:30頃に家を出て会場に向かう。 途中日高屋で昼飯を食べていたのだけど、餃子をラー油だけで食べていてかなりの疲労を感じた。大丈夫だろうか。 会場に着いたのは15:00頃。 やはり横浜は遠い。 と…

  • : ドイツ行きの準備をしていた

    やったこと 準備 ドイツ行きの準備をしていた。 色々と買うものがある。大体100均か無印で揃うので、探していった。 パスポートケースが便利そうだと思っている。 というかパスポートを裸で仕舞っておくのは怖い。 しかしドイツの天気がよく分からんなぁ。

  • : 論文の調整をしていた

    やったこと 研究 論文の調整をしていた。 ArXiv版もおそらく必要になるので、そのための準備。 とりあえず簡単に切り替えられるようにはしたので、提出には間に合うのではないかと思う。 あとはいつ教授とmtgできるのか‥‥。 マジで予定が分からん。

  • : 義務マスターした

    やったこと Ruby インデントをタブからスペースにするやつをマージした。 今回は [no ci] を忘れなかった。 MD マスターまでやった。 思ったよりあっさり上がった気がする。 正直M∀LICEより原石青眼の方がしんどかったように思う。 原石がおかしい。 研究 色々フィー…

  • : リリイベに当選していた

    やったこと 研究 発表資料を作っていた。 色々考えがまとまった気がする。 ミリオンライブ リリイベに当選していた。 これだけを頼りに生きていける。 逆に言えばこれが無ければ息絶えていたのではないかとも思う。 日曜のNEIも楽しみ。 あとSeasonal Snapshotと12t…

  • : つらい

    やったこと Ruby OnigurumaのポートでCIが落ちていたのを直した。 unsignedな値をsigned (ptrdiff_t) にキャストしていたのが問題だったっぽい。 とりあえず他のコードに倣って、ポインタの減算の部分を OnigDistance にキャストするこ…

  • : Onigurumaのパッチをポートした

    やったこと メダリスト 2期は1月かららしい。 おめでとう！ ただ、ちょっと早すぎるので不安もある。 ちゃんと作ってくれよ。 Ruby Onigurumaのパッチをポートするやつにようやく手を付けた。 変数名の違いや、そもそも存在しないコードがあるなど、絶妙に面倒な作業だった。…

  • : 老人会RUSTを見ていた

    やったこと 老人会RUST 今年も地味に見ていた。 はんじょうがいないのはさみしいのだが、その分愛の戦士などが暴れているので、それはそれで面白い。 なんか面白い感じの結末になっていた。 ミノルおもしり。

  • : 焼き鳥に行った

    やったこと 日常 yと焼き鳥に行った。 やっぱ焼き鳥がいいなぁと思う瞬間がある。 なぜかセブンでみそきんが売っていたので買ってきた。 さすがに買えるようになってきたらしい。 アイマス 20周年おめでとう！ 合同ライブも発表されたようなので楽しみ。

next