エヴィン・ラティエ (@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件)

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

RT @subarusatosi: @ShunSakana 重要な研究だと思います。 私のD論 https://t.co/OYjL51WnSg も量子マスター方程式に従う系での量子ポンプや過剰エントロピー生成の話です。 量子マスター方程式(に計数場を入れたもの)のBerry「…
@ShunSakana 重要な研究だと思います。 私のD論 https://t.co/OYjL51WnSg も量子マスター方程式に従う系での量子ポンプや過剰エントロピー生成の話です。 量子マスター方程式(に計数場を入れたもの)のBerry「位相」とか出て来て、面白いかもです。
J-STAGE Articles - 丸山茂評:越智啓三著『家族協定の法社会学的研究』法社会学(2008年) https://t.co/Mz1PrCKTmk 学位論文要旨詳細 https://t.co/HGPdBEciAV

1 1 1 0 OA 多羅要鈔 3巻

@sensonishikie @tkasasagi Do you mean Siddhaṃ script? https://t.co/ikTbPcMr9q https://t.co/AWkVioNZUY
RT @gnutar: @h_okumura 先のグラフはこの論文からの引用のようです。抄録によると,医療現場での異種防護と同種防護の多重化に相当する模擬実験を行い,後者の場合にこの図の結果になった,ということのようです。これ以上詳しい条件はわかりませんでした。医療現場の人だと…
RT @KosukeNakada: CiNii 論文 -  歴史から見る数学 数学史から見る歴史(第38回)ビザンツ数学史研究の諸問題 https://t.co/QddGbchtLQ #CiNii
RT @genkuroki: #超算数 案の定「はした」という用語の児童への定着が悪いという調査結果があります。添付画像は https://t.co/mmeQ91Opgf より。小4で半分くらいしか「はした」の意味を理解していない。半分が理解できない用語で算数を教えようとす…
RT @10ti3pin: 去年発表した共著論文がオープンアクセスになったので興味あるかたはどうぞ。 Linked Data化した典拠データとIIIFを用いた法帖の異版比較支援システムの開発 https://t.co/UWhuueeT8k
二酸化バナジウムの熱伝導特性、だいたいヴィーデマン=フランツ則と一致するって実験結果を見つけて
@estis__ 多様体: https://t.co/kwzWtBvHCF 圏論: https://t.co/JOtltt8Qks
CiNii 論文 -  欲望喚起装置としての感情労働--感情労働の「再発見」に向けて (特集 感情労働論(1)スキルとしての感情管理) https://t.co/kTwVZ65uVn #CiNii
CiNii 論文 -  「心」を求める社会:心理主義化と感情労働 https://t.co/6tYEyVSbt9 #CiNii

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