kgoto (Twitter) - ユーザ詳細

kgoto (@kgoto)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

2 0 0 0 SATソルバーの基礎(<特集>最近のSAT技術の発展)

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

お気に入り一覧（最新100件）

2 0 0 0 OA Simulating and Estimating the Effectiveness of Security Notification by ISP to Malware-Infected Users

下記主著論文が公開になった 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

93 0 0 0 OA 対立を用いた法的知識の整合性検証

法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU