Masaki Waga
@mastodon.maswag.net
🌉 bridged from https://mastodon.maswag.net/@maswag on the fediverse by https://fed.brid.gy/
本郷のフォーレストに着弾した。明憩は近いが流石にいかない
December 24, 2025 at 11:07 AM
本郷のフォーレストに着弾した。明憩は近いが流石にいかない
この招待講演、ほぼ経済学の話をしているように見える。確率とかの話も出てくるからTCSっぽくもあるんですが (グラフとかの話は出てきていないような
December 17, 2025 at 4:28 AM
この招待講演、ほぼ経済学の話をしているように見える。確率とかの話も出てくるからTCSっぽくもあるんですが (グラフとかの話は出てきていないような
オープニングリマークで火をつける会議は流石に初めて見た
December 17, 2025 at 3:42 AM
オープニングリマークで火をつける会議は流石に初めて見た
このトーク、polynomialだが O(n^20) とかなのでしんどいという話が続いていてすごい。なんでこんな高次の多項式を思いつくんだ
December 15, 2025 at 5:53 AM
このトーク、polynomialだが O(n^20) とかなのでしんどいという話が続いていてすごい。なんでこんな高次の多項式を思いつくんだ
インドのquantitativeなverification community, この世のquantitativeなverification communityのsubsetなので知り合いはそれなりにいるし、これまで名前だけ見てきたが対面で会ったことのなかった人も結構いる
December 15, 2025 at 5:48 AM
インドのquantitativeなverification community, この世のquantitativeなverification communityのsubsetなので知り合いはそれなりにいるし、これまで名前だけ見てきたが対面で会ったことのなかった人も結構いる
このworkshop, quantum computationのtutorialをやってはいるけど、どちらかと言うと計算量とかの目線でやっているので新鮮で良い
December 14, 2025 at 10:08 AM
このworkshop, quantum computationのtutorialをやってはいるけど、どちらかと言うと計算量とかの目線でやっているので新鮮で良い
今出ているtutorial、神託計算量の話が始まった
December 14, 2025 at 9:30 AM
今出ているtutorial、神託計算量の話が始まった
この大学の無線LAN、22番ポートが塞がれているらしく内職が捗らない
December 14, 2025 at 8:35 AM
この大学の無線LAN、22番ポートが塞がれているらしく内職が捗らない
寝不足かつスライドの視認性が最悪だけど、内容が量子計算入門みたいなtutorialなので何とかなっている
December 14, 2025 at 5:50 AM
寝不足かつスライドの視認性が最悪だけど、内容が量子計算入門みたいなtutorialなので何とかなっている
この会場、スクリーンが小さすぎてずっと視力検査している感じになっている
December 14, 2025 at 5:46 AM
この会場、スクリーンが小さすぎてずっと視力検査している感じになっている
インド、国内線の荷物を預けようと思ったら預け入れベルトコンベアが動かずに荷物が詰まって進まないくらいにはカオス
December 13, 2025 at 1:14 PM
インド、国内線の荷物を預けようと思ったら預け入れベルトコンベアが動かずに荷物が詰まって進まないくらいにはカオス
FSTTCS. Zulipを使うとのこと
December 13, 2025 at 1:12 PM
FSTTCS. Zulipを使うとのこと
今回インドにconforence visaで来ているのですが、"on theoretical computer science"と答えた後でtraveling salesman problemがNP-completeであることを示せ、みたいなことは言われなくて良かった(coolとだけ言われた
December 13, 2025 at 12:38 PM
今回インドにconforence visaで来ているのですが、"on theoretical computer science"と答えた後でtraveling salesman problemがNP-completeであることを示せ、みたいなことは言われなくて良かった(coolとだけ言われた
今年はAdvent Calendarに記事を書いた
https://maswag.github.io/blog/posts/2025/12/emacs-nhk-radio/
https://maswag.github.io/blog/posts/2025/12/emacs-nhk-radio/
EmacsからNHKラジオを聴こう！
はじめに この記事は Emacs Advent Calendar 2025 9日目の記事です。8日目は @nakazyeさん の 「leaf.elを活用し日本語で構造化したinit.elを作る」 で
maswag.github.io
December 10, 2025 at 2:50 AM
今年はAdvent Calendarに記事を書いた
https://maswag.github.io/blog/posts/2025/12/emacs-nhk-radio/
https://maswag.github.io/blog/posts/2025/12/emacs-nhk-radio/
来週ここで喋ってくるんですが、相当面白そうなトークが並んでいる。なお風邪気味で50分トークに喉が耐えられるかが一つの大きな問題ではある: https://quantformal-2025.vercel.app/
QuantFormal 2025 | An FSTTCS pre-conference workshop
quantformal-2025.vercel.app
December 9, 2025 at 5:00 AM
来週ここで喋ってくるんですが、相当面白そうなトークが並んでいる。なお風邪気味で50分トークに喉が耐えられるかが一つの大きな問題ではある: https://quantformal-2025.vercel.app/
open reviewもairbusもヤバい問題を起こしていて、世は大verification時代になろうとしている()
November 29, 2025 at 8:11 AM
open reviewもairbusもヤバい問題を起こしていて、世は大verification時代になろうとしている()
SATySFi, 基本的に普通の静的型付け言語なのでそれによって得られる恩恵は(実装の有無はさておき理屈の上では)すべて得られるという理解をしている。型異常なプログラムを型検査で落とせる(長いPDFの組版は時間が結構かかる)とか、ライブラリの使い方が悪いときにはちゃんとどの引数の方が合っていないかが報告されるとか。TeXは関数呼び出しみたいな意味論ではないのでそもそも変なプログラムが出てきたときには原因がわかりづらい気が
November 29, 2025 at 7:55 AM
SATySFi, 基本的に普通の静的型付け言語なのでそれによって得られる恩恵は(実装の有無はさておき理屈の上では)すべて得られるという理解をしている。型異常なプログラムを型検査で落とせる(長いPDFの組版は時間が結構かかる)とか、ライブラリの使い方が悪いときにはちゃんとどの引数の方が合っていないかが報告されるとか。TeXは関数呼び出しみたいな意味論ではないのでそもそも変なプログラムが出てきたときには原因がわかりづらい気が
気分的には締め切りを終えた人になっている(正確には後8時間強あるが時差ボケでもう仕事にならない
November 24, 2025 at 3:37 PM
気分的には締め切りを終えた人になっている(正確には後8時間強あるが時差ボケでもう仕事にならない
モロッコ出張のフライトでわかったこととしては、ヨーロッパよりさらに南西なので、さらに遠いということですね
November 23, 2025 at 2:05 PM
モロッコ出張のフライトでわかったこととしては、ヨーロッパよりさらに南西なので、さらに遠いということですね
RT> だいぶ偏っているけどこれの亜種に見える
https://booth.pm/ja/items/3429314
https://booth.pm/ja/items/3429314
プログラム言語神経衰弱＋＋ - アゲピテック - BOOTH
ルールはトランプの神経衰弱ですが、カードには全て違うプログラムが記載されており、同じ言語をペアにして獲得します。 見ただけでは同じプログラム言語かわかりにくい場合は、カードの上下にあるバーコード状の模様をあわせることによって確認できます。 「プログラム言語神経衰弱＋＋」は「プログラム言語神経衰弱」のリメイク版で基本セットに加えて絶版になっていた拡張版1,2,3から8言語、新たに採用した2言語の合計20言語が収録されています。各言語が4枚ずつで計80枚のカード構成になっています。
booth.pm
November 23, 2025 at 8:07 AM
RT> だいぶ偏っているけどこれの亜種に見える
https://booth.pm/ja/items/3429314
https://booth.pm/ja/items/3429314
プライオリティパスで使える強いマッサージ機を使ったところ、足の疲れが割と取れた気がする。私も年か
November 23, 2025 at 6:38 AM
プライオリティパスで使える強いマッサージ機を使ったところ、足の疲れが割と取れた気がする。私も年か