peopleκeenプログラミング言語に興味がある人。Attendeesgiantnecoうちの猫がかわいいだけで特に猫に関するつぶやきはありません。Attendeesbd_gfngfn文字,言語,数理工学,計算機科学,それにインドカレーとテーブルゲームが好きです。プログラムを書いています。データ分析と関数型プログラミング言語と機械学習と数学でできることに興味あり。Attendeesyoshihiro503Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。数値シミュレーション,...所用で参加できなくなりました。Watanabeすみません。体調不良で、キャンセルさせてください。Tomizawa体調不良のため無念ですがキャンセルさせてください。