松元(M1)の論文が情報処理学会論文誌:プログラミングに採録されました

松元(M1)の論文が情報処理学会の英文論文誌Journal of Information Processingに採録されました.情報処理学会論文誌:プログラミングにもプレプリントが掲載されます.

論文
Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe:
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN

お祝いにケーキをいただきました.とても美味しかったです.

Image uploaded from iOS (3)