2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。こちらは後編です。 前編はこちら▼ product.st.inc 量子論理、型のエイリアス 藤村：次は『Automated Quantum Program Verification i…

2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com なぜPPLに協賛したのか、協賛してみてどうだったのか 藤村：まず自己紹介から始めます。STORES でCTOをやっている…