エヴィン・ラティエ (@evinlatie)

投稿一覧(最新100件)

@zhanpon @pi8027 @sinya8282 釈迦に説法かもしれませんが、SMTソルバーというものも関係してますよ。 参考: http://t.co/ovBEnvdT7N https://t.co/PfQRYwStwm http://t.co/OwKHms3WMM
RT @tri_iro: 関数解析の人の話で出てきたのはこれかな: 「作用素環における可分性・非可分性とダイヤモンド原理」 https://t.co/Tka1qhWxAg ロジックと関数解析(作用素環・C*環)関係の話題は結構耳にするけど、全然内容を追えてない
「高階述語論理によるハードウェアの構造の形式的検証」というタイトルの論文がググったら見つかった → http://t.co/T4MCSLoODi

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

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

木下龍馬「武家への挙状、武家の挙状 - 鎌倉幕府と裁判における口入的要素」史学雑誌(2019) https://t.co/kR0WjmC55O

72 72 72 1 OA 高輪の海岸

RT @8mitsu24: 4枚目の錦絵は、歌川広重(三代)『東京名所図会』高輪の海岸  国立国会図書館デジタルコレクションより引用(https://t.co/2k51zQdyhB)
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
「記号力学系 とC^*環」 https://t.co/clc7V8X47E
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
生物物理「花の器官数を決める数理」https://t.co/pOYKP8LRfU 面白かった。とくにイチリンソウで一つの個体の中でも 5 花被と 6 花被 が混在するというのが良い。 ただ、紙面の都合なのか、筆者らの「古さ」を導入したモデルとそのパラメータ空間が図示されていないのは残念。
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/nnzXIGK7uw
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
https://t.co/BTsHkmKG8w "本研究では,飲酒の効果を活用することによって,質の高い情報を提示する手段を提案する.3.2 節で示すように,適度な飲酒には,創造性を高める効果があることが知られている."
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
J-STAGE Articles - 顎脚類(甲殻類)の分類と系統に関する研究の最近の動向 https://t.co/ojjQd7seFz 舌形動物について調べてたら見つけた
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
小野秀誠「教会法学者の系譜」(2018) https://t.co/z4UKM6Xh0o
RT @torikameinu: 毎年柿の季節に言ってるんですけど、柿を食べすぎて胃に「柿胃石」が出来た爺さんが、コカコーラ飲んで溶かす治療を受けたけど、炭酸キツくて炭酸抜けたの飲んでたのが医者にバレて怒られた話を置いておきます。https://t.co/yuSI6ZQjWy…
娘が最近いろんな物を指差して「あっ!」と声を発してる。特に家電や照明の光が気になるようだ。秦野の『指さし行動の発達的意義』(1983)によると、驚きや興味を表しているらしい。 https://t.co/dYnTx6wkfa https://t.co/MDeO0yQAeN
化学物質過敏症は存在するという立場からのサーベイ論文 → 加藤 貴彦: 化学物質過敏症 ―歴史,疫学と機序―, 日本衛生学雑誌, 73(1) , pp. 1-8, 2018年. https://t.co/RN1ekes6QW
RT @kzhr: 出ました / “日本平安期古辞書の符号化モデル: TEIをもとにした符号化” https://t.co/sr0QYrLWuh
RT @kzhr: 出ました / “日本平安期古辞書の符号化モデル: TEIをもとにした符号化” https://t.co/sr0QYrLWuh

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

RT @ngtaao: 長田さんが分析哲学をモダニズムという観点から論じた「分析哲学とモダニズム」という論文は面白いよ。 https://t.co/JTnbtUgnHE
木下龍馬「武家への挙状、武家の挙状 - 鎌倉幕府と裁判における口入的要素」史学雑誌(2019) https://t.co/kR0WjmC55O
「記号力学系 とC^*環」 https://t.co/clc7V8X47E
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y

30 1 1 0 OA 楓物語

日本語のしか読んでないけど、原作は、割と宗教的で、アニメの明るさがないように思うんですよね〜
生物物理「花の器官数を決める数理」https://t.co/pOYKP8LRfU 面白かった。とくにイチリンソウで一つの個体の中でも 5 花被と 6 花被 が混在するというのが良い。 ただ、紙面の都合なのか、筆者らの「古さ」を導入したモデルとそのパラメータ空間が図示されていないのは残念。
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
https://t.co/BTsHkmKG8w "本研究では,飲酒の効果を活用することによって,質の高い情報を提示する手段を提案する.3.2 節で示すように,適度な飲酒には,創造性を高める効果があることが知られている."
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
J-STAGE Articles - 顎脚類(甲殻類)の分類と系統に関する研究の最近の動向 https://t.co/ojjQd7seFz 舌形動物について調べてたら見つけた
RT @kentaro: この論文ヤバそう。JAISTの方だ。 飲酒による認知機能への影響を活用する発散的思考技法の検討 https://t.co/f4GMADNV9y
小野秀誠「教会法学者の系譜」(2018) https://t.co/z4UKM6Xh0o
RT @torikameinu: 毎年柿の季節に言ってるんですけど、柿を食べすぎて胃に「柿胃石」が出来た爺さんが、コカコーラ飲んで溶かす治療を受けたけど、炭酸キツくて炭酸抜けたの飲んでたのが医者にバレて怒られた話を置いておきます。https://t.co/yuSI6ZQjWy…
娘が最近いろんな物を指差して「あっ!」と声を発してる。特に家電や照明の光が気になるようだ。秦野の『指さし行動の発達的意義』(1983)によると、驚きや興味を表しているらしい。 https://t.co/dYnTx6wkfa https://t.co/MDeO0yQAeN
化学物質過敏症は存在するという立場からのサーベイ論文 → 加藤 貴彦: 化学物質過敏症 ―歴史,疫学と機序―, 日本衛生学雑誌, 73(1) , pp. 1-8, 2018年. https://t.co/RN1ekes6QW
RT @kzhr: 出ました / “日本平安期古辞書の符号化モデル: TEIをもとにした符号化” https://t.co/sr0QYrLWuh
RT @kzhr: 出ました / “日本平安期古辞書の符号化モデル: TEIをもとにした符号化” https://t.co/sr0QYrLWuh