RT @MatchaChoco010: ネットサーフィンしていたら非常に良い資料を見つけた。 数学の人から見たCG研究みたいな感じのことが書かれている。CGのメッシュ変形とかのジオメトリ周りの処理について数学の人からの目線が書かれている。 https://t.co/6HXfWv…

Twitter で流れてきて気づいた時には終わってたのでとりあえず論文眺めてる。 #IPSJPRO https://t.co/4jCMmroFEt

もしかするとネタにマジレスかもしれませんが、機械学習を定理証明に援用する研究としては、例えばこの辺りの研究があります。たまにこれ系の話題が Twitter で流れてくるのを見ます。 https://t.co/FWSn5tCBmi https://t.co/FMRuRWjmig

RT @kakkokka: Alloyを用いたRuby on Railsアプリケーションの開発支援 http://t.co/ur7A5wrf2m 超読みたい

抄録の開き直った感がすごい。「実用上意味のない目的や制約」って。QT “@mametter: IPSJ にわけのわからん論文を載せてやったのでぜひご覧ください https://t.co/FgnDDeHnRN”

@pa_prika この辺りを引用するとよいのではないでしょうか。http://t.co/WaqxIduL

@mikadukim 論文になってました。http://t.co/yfRSM7JU

@Gyon_Woo 一例として http://t.co/V42GLSZ5 とか。

RT @syamino: ほれLisp×圏論だぞ / 『CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)』 http://t.co/YGnULHe7

数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

「これがやりたい」が明確に見つかったかも https://t.co/iJtjohRtiO

Kleene Algebra with Tests の日本語解説は古澤先生のチュートリアル記事をどうぞ． Whileプログラムのループ単一化の形式検証の応用とかも載っています． https://t.co/CNAYw1jBzS

システム開発論文の書き方に関する論文 / “CiNii 論文 -  情報システム論文の特質と評価” https://t.co/Yts4Hnu7Hi