2022年6月30日 2022年6月30日 研究室内部Wiki、PukiWikiで管理してたんだけど、なんか面倒だな。GitHubのプライベートプロジェクトで管理したほうが便利な気がしてきた。そうするか。 研究室ミーティング。 論文にコメント入れて返した。 6月が終わってしまう・・。