Q&A
https://ja.wikipedia.org/wiki/%E5%9E%8B%E7%90%86%E8%AB%96
> 計算機科学やコンピュータプログラミングで用いられる型システムの学術研究として知られる。
これのことですか？
有益とは学ぶことがですか？
それとも型システム自体がですか？
数学に型理論という理論があるらしいですが、これは我々にとって有益なものですか？
技術者にとっては技術を使えるようになることが有益だし、学者にとっては理論を学び発展させることが有益だと思いますが、どの立場からの質問ですか？
我々とは誰ですか？
私はそれに含まれますか？
誰にも利益のない学問は存在すると思いますか？
あなたの回答
tips
プレビュー
