2019-03-05から1日間の記事一覧
(会場と日程を変更しました) #静的コード解析の会 第9回 - connpass に行ってきました。今回も何らかの発表は出来ず。 どこかで宣伝したらしく、前回から人数が大幅に増えて14~5人くらいの参加者でした。参加者の傾向としては: なぜかIsabelle使いが多い。 …
(会場と日程を変更しました) #静的コード解析の会 第9回 - connpass に行ってきました。今回も何らかの発表は出来ず。 どこかで宣伝したらしく、前回から人数が大幅に増えて14~5人くらいの参加者でした。参加者の傾向としては: なぜかIsabelle使いが多い。 …