山貂 (@yamarten)

投稿一覧(最新100件)

なんで大分大学図書館はCLLを(しかも研究室とかでもなく開架で)置いているのだろう……。 CiNii 図書 - The complete Lojban language https://t.co/NYleduGX3b #CiNii
タイトルでちょっと驚いてしまったが、やってることはレベルデザインだった。ベースのルールを作り、各要素n択にして面白い組み合わせを見つけるという感じ。ボードゲームとはいうけれどデジタルだし。要するにAngelinaの仲間ということか。 https://t.co/LCaWxcqYY9
最近この手の学界に関する話を調べたりしてるのだけど、なかなか面白い。役に立つのかはちょっとよくわからない。 CiNii 論文 -  英語論文の採択確率を上げるためにできること(<特集>国際会議に通すための英語論文執筆) https://t.co/eaHWEpTTby #CiNii
双方向変換というのは用語としてあるものなんだな。面白そう。 https://t.co/R2fOqyjVvv
これか。研究代表者を追うと、時相論理で最適化とかもやってる。コンパイラ周りは色々あるのだな。 https://t.co/Jdf8WXgvZT

お気に入り一覧(最新100件)

@dempacat Coq のコードが訳わからない問題は有名な問題で,もうちょっと declarative に証明が書けるようにしようという話として C-zar https://t.co/35ydmnVF2c が有名です(関連して https://t.co/ZLJEpanf2X という話も).C-zar は,一時期 Coq 標準ライブラリの一部でしたが最近は削除されたようです.

フォロー(64ユーザ)の投稿一覧(直近7日間)

フォロワー(181ユーザ)の投稿一覧(直近7日間)

@Penguin_danro 私は血縁選択か否かだけで結論を出すことにもちょっと懐疑的なんですよね… 分子機構的なアプローチも面白そうですし。 https://t.co/oTNkCaBXrB https://t.co/afzGEIZ0R3 東大が詳しいみたいなのでちょっと東大に行って研究してこようかな(何を言ってる
@Penguin_danro 私は辻先生の記事の方が多角的に分析されていると感じました。 https://t.co/DkZsMyVdQq 養蜂場の人はこんな記事も書いています。 https://t.co/sqxBEA1UZh

13370 13370 13370 3550 OA 印度童話集

RT @ozaki_wolkig: こどもの頃に読んでいちばん恐ろしかったインドの童話『誰が鬼に食はれたのか』、たったいま国会図書館のデジタル・コレクションで見つけたので感激を分かちあってください。 https://t.co/oLT4LXIklw https://t.co/xb…