1年ぶりN回目の「実家で仕事をできる環境」の構築を終了した

SATySFiアドベントカレンダー、今日の枠も気合で記事を書けば埋められるネタはあるか
あるが…

そういえば、これの開始直後が音MADではなく、オートマトンに聞こえるのは病気なのかどうなのかよくわからない: https://youtu.be/xv7e4vMsFQ0?si=z2wb-Ec9wCKVbngi

研究メモはどう取っていますか、に対する答えがorg-modeなの、実際それをやっているけどEmacsユーザ以外には布教が難しいという難点がある

ぎりぎりでSATySFi advent calendar 21日目の記事を書きました！Emacs で Satyristes を書くためのメジャーモードなどを作ったので、その辺りの話です。

https://github.com/MasWag/satyristes-mode

Emacs で Satyristes を書くための諸々を作った話
https://maswag.github.io/blog/posts/2023/12/satyristes-mode/

#donshare #satysfiadvent2023

ついにシステム検証論の講義で (Banno et al., CAV'22) の話をする時代が来た (30分喋った

弊家、昨日から給湯設備が壊れていてやばい

気がついたらあくた川流があくた川別邸になってた

そろそろ真面目にDTMCの上で良くやるCylinder setでの確率空間の構成がちゃんと上手く行っていることを確かめる機運が高まってきている (σ-algebraとか7年くらい触っていない)

日本語の子音がむちゃくちゃ話、ガ行が鼻濁音になるかならないかみたいな方言による差の話すら出てくるかもしれない (少なくとも東京方言では鼻濁音を使うことになっているらしい https://ja.wikipedia.org/wiki/%E9%BC%BB%E6%BF%81%E9%9F%B3

これをeglotでやろうと思ってちょっと触ってみたけど、companyが動かん

https://maswag.github.io/blog/posts/2021/12/emacs-satysfi-language-server/

RT> 弊研、割と大きめのメーリングリストを管理しているので割と真面目にやらないといけなそう

何とかしてSATySFi advent calendarに記事を書くことに成功した。実は他にも書けそうなネタはある (時間があるかどうかが微妙

SATySFi でスライドを組んでみた話
https://maswag.github.io/blog/posts/2023/12/slydifi-kyoto-demo/

#donshare #satysfiadvent2023

なるほど (なるほど
http://www3.nhk.or.jp/news/html/20231206/k10014279841000.html

今日は珍しくまとまった時間が取れそうなので力尽きるまで論文を読む日、ということにしたら ACM 2 column で5ページ読んでいる