お知らせ Xの外部連携仕様変更に伴い、2026年6月23日をもってconnpassの一部X連携機能を変更・終了いたしました。connpassへのソーシャルログイン、およびイベント公開時のX連動ポストは引き続きご利用いただけます。詳細はお知らせをご覧ください。

注意 connpass運営を装い「イベントへのお問い合わせ」機能を悪用した不審なメッセージが確認されています。connpass運営が同機能で連絡することはありません。メッセージ記載のURLへアクセスや情報入力をしないようご注意ください。

4月

28

【coqtokyo】Iris勉強会【オンライン】

主催 : yoshihiro503

募集内容	参加枠無料参加者数 4人自由発表枠無料先着順 0/2人
申込者	申込者一覧を見る
開催日時	2026/04/28(火) 19:30 ～ 21:00 Googleカレンダー icsファイル
募集期間	2026/04/14(火) 21:25 〜 2026/04/28(火) 21:00まで
会場	オンライン
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

参加者への情報

(参加者と発表者のみに公開されます)

イベントの説明

概要

ソフトウェアの安全性を証明するRocqのフレームワークIrisを学ぶ勉強会です。次のチュートリアルをみんなで読みます。

https://iris-project.org/

読んだまとめをこちらにメモしています: https://hackmd.io/@yoshih/

開催場所

google meetによるオンライン開催です。 URLは参加者と発表者に公開されます。

参加できないなど困ったときは、 @yoshihiro503にお問い合わせください。

タイムテーブル

**19:30** - 20:30 指定教科書を読む
5分休憩
20:35 - 20:50 自由発表

持ち物

Rocqを動かせるPCなどの端末

参考情報

gistのコードをjscoqで動かす coqban というもあります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fproxy.goincop1.workers.dev%3A443%2Fhttps%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6

Slack

気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。＠tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )