▽ ｢訴えてやる！｣の前に読む IT訴訟 徹底解説 - ＠IT
●06/17 12:54
｢訴えてやる！｣の前に読む IT訴訟 徹底解説（123）：同意していないのにﾏｲﾅﾝﾊﾞｰを付与されたので､11万円ください｢ﾏｲﾅﾝﾊﾞｰ制度は､個人のｾﾝｼﾃｨﾌﾞ情報が把握､分析される危険がある｣｢同意なしにﾏｲﾅﾝﾊﾞｰを付番されたことに精神的損害を与えられた｣と市民たちが国を訴えた｡国はこれらの訴えに､どのようなﾛｼﾞｯｸで反論するのか――？[ITﾌﾟﾛｾｽｺﾝｻﾙﾀﾝﾄ 細川義洋, ＠IT] (2025年6月17日)

▽Download | The Coq Proof Assistant
●04/14 13:04
VsCoq (Recommended)The renaming of VsCoq to VsRocq is in progress.VsCoq is the official Rocq extension for Visual Studio Code.Install VsCoqFor now, vscoq-language-server is not available in all Linux distributions that have the Rocq Prover. If you have used your Linux distribution's package manager to install the Rocq Prover and it does not include the language server, you can fall back to usi

▽かたまでつかれ
●04/03 18:31
かたまでつかれedited by saxyunMAIL: mixpixjp@yahoo.co.jptwitteramazon検索･｢ゆるめいつ｣全8巻...ｵﾘｼﾞﾅﾙｱﾆﾒ DVD TVｱﾆﾒ BD･DVD (竹書房)･｢超常探偵X｣全2巻 (KADOKAWA)･｢空想科学X｣全5巻 (KADOKAWA)･ｺﾐｯｸｱﾗｲﾌﾞ 読者ｺｰﾅｰ(KADOKAWA)一行掲示板｜ うさだ誕生日｜ CG｜ GAME8/30 うさだ誕生日2024→過去のうさだ誕生日はこちら夏の終わりはうさだ誕生日で｡今年もご参加ありがとうございます｡（大体ﾌｧｲﾙ名ｱﾙﾌｧﾍﾞｯﾄ順）↑按図よしひろさん↑芹沢えののさん↑ｼﾞｭｹﾞﾑさん↑kashmirさん↑黒ﾄさん↑MARCYどっぐさん↑MARCYどっぐさん↑ぱせりさん↑すかさん↑たぬふでさん↑ﾎﾙﾓﾝ恋次郎さんまた来年！

▽数学基礎論ｻﾏｰｽｸｰﾙ
●03/26 20:15
2025年度数学基礎論ｻﾏｰｽｸｰﾙ2025年度は Asian Logic Conference のため開催しません｡次回は2026年度に集合論をﾃｰﾏに開催します｡2024年 証明論(算術の証明論と構成的数学)

▽ﾔﾓｾﾌﾞﾝ
●05/22 18:40
ﾔﾓｾﾌﾞﾝ　あゆま紗由　ayumasayumail:aymsy★live.jpｲﾗｽﾄﾚｰﾀｰ/漫画家/原画家/同人作家ｲﾗｽﾄ､ｷｬﾗｸﾀｰﾃﾞｻﾞｲﾝ､ﾗﾉﾍﾞ挿絵､ｹﾞｰﾑ原画､Vtuber､ﾌｨｷﾞｭｱなど｡同人ｻｰｸﾙはﾔﾓｾﾌﾞﾝで活動中｡小悪魔ちゃんのこうげき！ｼﾘｰｽﾞなど創作ﾒｲﾝです｡同人作品はFANZA､DLsite､ﾒﾛﾝﾌﾞｯｸｽ､BOOTHで頒布しております｡制作配信はTwitch､Pixiv sketchなどで行っております｡■X(旧Twitter)■FANBOX■PIXIV■FANZA■DLsite■ﾒﾛﾝﾌﾞｯｸｽ同人委託通販■TWITCH■BOOTH---2018年---■講談社『業焔の大魔導士 ~まだﾌｧｲｱｰﾎﾞｰﾙしか使えない魔法使いだけど異世界最強~』2巻挿絵■MF文庫J『魔力ｾﾞﾛの俺には､魔法剣姫最強の学園を支配できない……と思