kgoto (@kgoto)

投稿一覧(最新100件)

メモ3。SATの基礎。基本用語と系統的ソルバーDPLLの説明。 https://t.co/f0Krl7frVq 今までGoodNotes4を使っていたけど、今回はGoodNotes5を使ってみた。書き出すときの背景色が以前と若干違う、以前のほうが好み。ここらへんは試行錯誤していきたい。 https://t.co/ce5eJjOX6Z

お気に入り一覧(最新100件)

下記主著論文が公開になった Simulating and Estimating the Effectiveness of Security Notification by ISP to Malware-Infected Users Xuping Huang, Shunsuke Mochizuki, Akira Fujita, Katsunari Yoshioka 情報処理学会論文誌, Vol.64, No.3, pp.- (2023-03-15) https://t.co/22AQkefubR
法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU

フォロー(839ユーザ)の投稿一覧(直近7日間)

フォロワー(382ユーザ)の投稿一覧(直近7日間)