Masaki Waga
maswag@mastodon.maswag.net

唐突にモノイドの(簡単な)問題を出されたけど、そこそこ時間はかかったものの一応解けて良かった…

July 04, 2024
Masaki Waga
maswag@mastodon.maswag.net

全く知らなかったけどAAAI-21の "top 25% of Program Committee Members" に選ばれていたらしい: aaai.org/wp-content/uploads/20

July 01, 2024
Masaki Waga
maswag@mastodon.maswag.net

実際そういうことがあるかはさておき、RV (yeni.cmpe.bogazici.edu.tr/rv24) に論文が落ちたときの成仏先としてVORTEX (conf.researchr.org/home/issta-) が一応ありそうということを学んだ。ちなみに RV は多分CAV (i-cav.org/2024/) に論文が落ちたときの成仏先のうちの一つだと思う (ATVAの方が有力だと思うけど: atva-conference.org/2024

June 26, 2024
Masaki Waga
maswag@mastodon.maswag.net

Updated mastodon.maswag.net to Mastodon v4.2.9 :tada:

June 24, 2024
Masaki Waga
maswag@mastodon.maswag.net

magithubの後継っぽいForge (github.com/magit/forge) を設定して、EmacsからGitHubのIssueやらPRやらを使えるようにしたら楽しくなって大したことないPRを作るなどしていた

June 24, 2024
Masaki Waga
maswag@mastodon.maswag.net

何か大学のメールアドレスに招待されたGoogle Calendarのイベントの扱いが上手く行かないなあと思っていたけど、これをやっていなかったのが原因の模様: stackoverflow.com/questions/41

June 24, 2024
Masaki Waga
maswag@mastodon.maswag.net

我ながらこのコンディション (終電過ぎまで渋谷 → 5:30頃宿着 → 9時起床) で証明のproof readingをして、誤植を見つけられているのは変態的な気がする

June 20, 2024
Masaki Waga
maswag@mastodon.maswag.net

末永CRESTでは森羅万象をやっているので:+1: みたいな図があった

June 19, 2024
Masaki Waga
maswag@mastodon.maswag.net

今日って Poster presentation (for 1 hour) --(一時間後)-> Oral Presentation --(一時間後)-> Poster Presentation (for 1 hour) なのか
(Poster presentationその1で既に疲れた

June 19, 2024
Masaki Waga
maswag@mastodon.maswag.net

PS2の浮動小数点の乗算は可換ではないらしいし1は単位元ではないらしい: fobes.dev/ps2/detecting-emu-vu

June 19, 2024
Masaki Waga
maswag@mastodon.maswag.net

蓮尾ERATOのこの会に出ている。知っている人があまりに多くて実質オフ会状態になっている: group-mmm.org/eratommsd/ja/202

June 19, 2024
Masaki Waga
maswag@mastodon.maswag.net

axio.ms/projects/2024/06/16/Mi: MicrocontrollerでMacを動かす話

June 17, 2024
Masaki Waga
maswag@mastodon.maswag.net

そういえばRTAがreal time attackに見えるかreal-time automata [Dima01] (が適切なcitationなのかのかは良くわからんがまあdblpまで)という問題があった。

June 15, 2024
Masaki Waga
maswag@mastodon.maswag.net

そして我らが(?)スパイダーマッは2007にはなかったのか???(その辺りの記憶が怪しい、というか実は2013くらいまで知らなかった…)

June 15, 2024
Masaki Waga
maswag@mastodon.maswag.net

拙者おっさん、2007年のニコニコ動画に既視感がありすぎる病を発症している (復旧中で2007年の動画しないニコニコ

June 15, 2024