Monthly Archives: March 2018

2018年もあっという間に３月ですね。年明けに体調を崩して、寝正月を過ごしてからAustriaへ戻り、１月末の学会提出用の論文〆切に向けて働いていました。今回は機械学習を定理証明に応用したソフトウェアを作成し、それについての論文を書きました。 しかし、Dataの抽出に予想以上に手間取ってしまい、「あと２日しかないのに２日以上かかる計算が残っているから、今回の〆切には間に合わないな」と悟り諦めかけた時に、会議の座長から連絡がありました。