Theorem Prover Advent Calendar 2013

Participant9People

Subscriber0People

Category：Not set

Creator：

Theorem Prover は定理証明系 (Coq, Agda, etc.) に関するAdvent Calenderです。

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
@notogawa CoqのtacticやコマンドとAgda上操作の対応 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 2 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@tmiya_ なんか手抜きで恐縮ですが入門向け記事という事でCoqでFizzBuzzという話を何回かに分けて書きます。納品前で忙しいんです。。。 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 4 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@yoshihiro503 依存関係のある値のうちの一部をrewriteしようとしたときの問題 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@katayama_k 「プログラムに証明が付く日」という駄文というか妄想を書き散らしてみようかと・・・ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その1) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
Join calendar on 8 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 9 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 10 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 11 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 12 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その2) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@chiguri （思ったよりCoq/Agdaどっちも多くなかったので）Coq/Agdaのどちらを使う？ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
Join calendar on 15 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 16 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 17 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 18 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その3) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 20 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 21 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@qnighy ipc_botの紹介 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@master_q "ML programmer's guide to ATS" 日本語訳 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@master_q Japan ATS User Group (JATS-UG)の発足とAjhcの今後について Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@ksknac [Coq] 推移律はいらない? ─比較ソートの正当性に必要な比較関数の性質─ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	26	27	28

@notogawa
CoqのtacticやコマンドとAgda上操作の対応
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 2 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@tmiya_
なんか手抜きで恐縮ですが入門向け記事という事でCoqでFizzBuzzという話を何回かに分けて書きます。納品前で忙しいんです。。。
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 4 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@yoshihiro503
依存関係のある値のうちの一部をrewriteしようとしたときの問題
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@katayama_k
「プログラムに証明が付く日」という駄文というか妄想を書き散らしてみようかと・・・
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その1)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 8 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 9 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 10 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 11 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 12 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その2)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@chiguri
（思ったよりCoq/Agdaどっちも多くなかったので）Coq/Agdaのどちらを使う？
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 15 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 16 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 17 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 18 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その3)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 20 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 21 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@qnighy
ipc_botの紹介
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@master_q
"ML programmer's guide to ATS" 日本語訳
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@master_q
Japan ATS User Group (JATS-UG)の発足とAjhcの今後について
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@ksknac
[Coq] 推移律はいらない? ─比較ソートの正当性に必要な比較関数の性質─
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use

Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
@notogawa CoqのtacticやコマンドとAgda上操作の対応 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 2 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@tmiya_ なんか手抜きで恐縮ですが入門向け記事という事でCoqでFizzBuzzという話を何回かに分けて書きます。納品前で忙しいんです。。。 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 4 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@yoshihiro503 依存関係のある値のうちの一部をrewriteしようとしたときの問題 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@katayama_k 「プログラムに証明が付く日」という駄文というか妄想を書き散らしてみようかと・・・ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その1) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
Join calendar on 8 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 9 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 10 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 11 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 12 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その2) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@chiguri （思ったよりCoq/Agdaどっちも多くなかったので）Coq/Agdaのどちらを使う？ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
Join calendar on 15 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 16 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 17 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 18 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@kikx Write Yourself a Theorem Prover in 48 Hours (その3) Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 20 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	Join calendar on 21 day You can also reserve a slot without registering a title or URL. Title URL Articles to be submitted are welcome on any website as well as on Qiita. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use
@qnighy ipc_botの紹介 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@master_q "ML programmer's guide to ATS" 日本語訳 Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@master_q Japan ATS User Group (JATS-UG)の発足とAjhcの今後について Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	@ksknac [Coq] 推移律はいらない? ─比較ソートの正当性に必要な比較関数の性質─ Overwrite Title URL You can post either your article on Qiita or your blog post. About reserved posting If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day. About posting period Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.) When you participate, we will assume that you have agreed to the terms of use	26	27	28

@notogawa
CoqのtacticやコマンドとAgda上操作の対応
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 2 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@tmiya_
なんか手抜きで恐縮ですが入門向け記事という事でCoqでFizzBuzzという話を何回かに分けて書きます。納品前で忙しいんです。。。
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 4 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@yoshihiro503
依存関係のある値のうちの一部をrewriteしようとしたときの問題
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@katayama_k
「プログラムに証明が付く日」という駄文というか妄想を書き散らしてみようかと・・・
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その1)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 8 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 9 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 10 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 11 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 12 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その2)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@chiguri
（思ったよりCoq/Agdaどっちも多くなかったので）Coq/Agdaのどちらを使う？
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 15 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 16 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 17 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 18 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@kikx
Write Yourself a Theorem Prover in 48 Hours (その3)
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 20 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
Join calendar on 21 day
You can also reserve a slot without registering a title or URL.
Title
URL
Articles to be submitted are welcome on any website as well as on Qiita.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@qnighy
ipc_botの紹介
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@master_q
"ML programmer's guide to ATS" 日本語訳
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@master_q
Japan ATS User Group (JATS-UG)の発足とAjhcの今後について
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use
@ksknac
[Coq] 推移律はいらない? ─比較ソートの正当性に必要な比較関数の性質─
Overwrite
Title
URL
You can post either your article on Qiita or your blog post.
About reserved posting
If you register a secret article by the day before the same day, it will be automatically published around 7:00 on the same day.
About posting period
Only articles submitted after November 1 of the year can be registered. (Secret articles can be registered anytime articles are posted.)
When you participate, we will assume that you have agreed to the terms of use