▽JOT ●07/20 06:55 Volume 23, no. 3 (July 2024)The 20th European Conference on Modelling Foundations and Applications (ECMFA 2024)Judith Michael, Adrian Rutle, Preface to the JOT special issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024), pp. 1-4, PDF, DOI.Julien Cohen, Massimo Tisi, Remi Douence, Automated Proof Tactics for Model Transformation, pp. 3:1-14, PDF, DOI.Kar
▽CAT GETTING OUT OF A BAG ●06/04 11:49 2024-06-01JaSST東北名物ワークショップを体験して思ったこと #jassttohokuJaSSTソフトウェアテストシンポジウム-JaSST'24 Tohoku に参加しました*1。この記事では、そこで行われたワークショップ『クラシフィケーションツリー技法』を体験して思ったことをメモしておきます。技法自体の紹介やワークショップの詳しい内容については触れないので、参加した方にしかわからない部分が多々あると思います。また、当日配布されたアンケート用紙に感想を書かずに提出してしまったので(へとへとで頭がまわりませんでした)実行委員のみなさんやこのシンポジウムがうまくいくように尽力された方へのフォードバックと感謝もお伝えできればと思います。ワークショップを体験して思ったことクラシフィケーションツリー技法は言葉としては聞いたことがあるくらいで知りませんでした。書籍『ソフトウェアテ
▽fixedpoint.jp ●04/13 05:32 Running Torch for R with CUDA in a Docker container[2024-04-11 Thu] #permalinkTorch for R makes deep learning in R easy, only when installedThis post gives a simple instruction to build a Docker container that runs Torch for R (called torch hereafter) with CUDA devices on a Linux host.We have found that the image rocker/cuda, provided by the Rocker Project, suitable for a base image on which w