▽はてなﾌﾞｯｸﾏｰｸ - ﾀｸﾞ 形式手法
●06/16 21:37
7 users
学び
569 users

▽Java PathFinder
●06/16 10:25
JPF has moved - please update your browser bookmarks:
http://babelfish.arc.nasa.gov/trac/jpf
JPF has moved to its own server that is hosted at the NASA Ames Research Center. First and foremost - this does not change the licensing or public read access. JPF continues to be open source.
The reason for this move was twofold:
(1) extensions have become so numerous that we need to split them into their

▽組込みｿﾌﾄｳｴｱWG
●06/15 04:00
2021.10.06
合格発表日時 10月7日（木）午後1時
2022年度 南山大学大学院入学試験＜法務B日程＞
第6回ｶﾄﾘｯｸ文庫講座｢浦上のｷﾘｼﾀﾝ､高木仙右衛門のこと〓明治政府は､なぜｷﾘｼﾀﾝ禁制高札を撤去したか〓｣ ／開催日：2021.11.20（土）

▽檜山正幸のｷﾏｲﾗ飼育記
●06/14 22:12
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽JaSST
●06/11 20:56
2021/10/22
JaSST Review’21 を終了いたしました｡
2021/10/22
JaSST Review’21 のｵﾝﾗｲﾝちらしの掲載を終了しました｡
2021/10/22
JaSST’22 Tokyo の一般公募ｾｯｼｮﾝ募集の受付を終了しました｡