Rubyのスレッドをどう作るか/fluent interfaceに対する気持ち/コード補完を中断する理由【PPL 2024 非公式ふりかえり会 文字起こしレポート後編】
2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。こちらは後編です。 前編はこちら▼ product.st.inc 量子論理、型のエイリアス 藤村：次は『Automated Quantum Program Verification in Dynamic Quantum Logic』ですね。量子論理で形式検証するのは…
