The Qiita Advent Calendar 2021 is supported by the following companies, organizations, and services.

Advent Calendar 2021 / Science & Theory

型理論 Advent Calendar 2021

Participant8People

Subscriber61People

Category：Science & Theory

Creator：

@elpinal

型理論に少しでも関係する任意の話題を受け付けています。初心者向け記事歓迎です！

Series 1

Sun	Mon	Tue	Wed	Thu	Fri	Sat
28	29	30	@elpinal 部分型入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@gitloveme 型理論入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
Join calendar on 5 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 6 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@elpinal Girardのパラドックス Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@gfngfn 列多相によるレコード型とその型推論アルゴリズム Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
@S_Shimotori 初心者なので型消去についてまとめます Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 13 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 14 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@gfngfn session typeの基礎 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@beetomega Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
@elpinal シークエント計算の計算体系 Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@cotton-gluon 書籍レベルの話をベースに何か再構成できれば Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 23 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@elpinal 依存型理論について考える初歩篇 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@ryo33 Log-basedなBidirectional TypecheckingにEffectを導入する Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use

	@elpinal 部分型入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@gitloveme 型理論入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 5 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 6 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@elpinal Girardのパラドックス Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@gfngfn 列多相によるレコード型とその型推論アルゴリズム Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@S_Shimotori 初心者なので型消去についてまとめます Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 13 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 14 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@gfngfn session typeの基礎 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@beetomega Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@elpinal シークエント計算の計算体系 Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@cotton-gluon 書籍レベルの話をベースに何か再構成できれば Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 23 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@elpinal 依存型理論について考える初歩篇 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@ryo33 Log-basedなBidirectional TypecheckingにEffectを導入する Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use

Sun	Mon	Tue	Wed	Thu	Fri	Sat
28	29	30	@elpinal 部分型入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@gitloveme 型理論入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
Join calendar on 5 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 6 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@elpinal Girardのパラドックス Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@gfngfn 列多相によるレコード型とその型推論アルゴリズム Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
@S_Shimotori 初心者なので型消去についてまとめます Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 13 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 14 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@gfngfn session typeの基礎 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@beetomega Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
@elpinal シークエント計算の計算体系 Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@cotton-gluon 書籍レベルの話をベースに何か再構成できれば Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	Join calendar on 23 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use	@elpinal 依存型理論について考える初歩篇 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use	@ryo33 Log-basedなBidirectional TypecheckingにEffectを導入する Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use

	@elpinal 部分型入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@gitloveme 型理論入門 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 5 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 6 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@elpinal Girardのパラドックス Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@gfngfn 列多相によるレコード型とその型推論アルゴリズム Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@2t6pu6a Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@S_Shimotori 初心者なので型消去についてまとめます Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 13 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 14 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@gfngfn session typeの基礎 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@beetomega Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@elpinal シークエント計算の計算体系 Overwrite Title URL You can post either your article on Qiita or your blog post. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@cotton-gluon 書籍レベルの話をベースに何か再構成できれば Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	Join calendar on 23 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. If you link a limited shared article by the day before, it will be automatically published around 7:00am on the same day. When you participate, we will assume that you have agreed to the terms of use
	@elpinal 依存型理論について考える初歩篇 Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use
	@ryo33 Log-basedなBidirectional TypecheckingにEffectを導入する Overwrite Title URL You can post either your article on Qiita or your blog post. When you participate, we will assume that you have agreed to the terms of use

You can increase the number of series when Calendar 1 is filled with more than 10 articles.

The Qiita Advent Calendar 2021 is supported by the following companies, organizations, and services.