yhara (Yutaka HARA) (@yhara)

投稿一覧(最新100件)

「御所」 / 他30コメント https://t.co/9aub3HANrS “CiNii 論文 -  皇居におけるタヌキの食性とその季節変動” https://t.co/yrMGQCJeUx
「御所」 / 他30コメント https://t.co/9aub3HANrS “CiNii 論文 -  皇居におけるタヌキの食性とその季節変動” https://t.co/yrMGQCJeUx
@anohana http://ci.nii.ac.jp/naid/110002726064 これですかね? "Javaと相互呼び出し可能なScheme処理系「ぶぶ」における継続機能と例外処理機能の実装"

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

で、更に高速化すると型代入の遅延があると https://t.co/qIqzzpltlH
ほれLisp×圏論だぞ / 『CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)』 http://t.co/YGnULHe7
なんじゃこりゃ’ CiNii -  一般化ぷよぷよのNP完全性 (計算機科学基礎理論とその応用) http://ci.nii.ac.jp/naid/110001160066

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

RT @dragoner_JP: なんか、「ドイツでは犬猫殺処分は無い代わりに狩猟により殺処分されている」という言説が出回っているらしく、根拠として国会図書館の「調査と情報」が挙げられているけど、まともに読んでいない or 読解力が無いのか、全然そんな事書いてないんですが………
RT @dragoner_JP: なんか、「ドイツでは犬猫殺処分は無い代わりに狩猟により殺処分されている」という言説が出回っているらしく、根拠として国会図書館の「調査と情報」が挙げられているけど、まともに読んでいない or 読解力が無いのか、全然そんな事書いてないんですが………
RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @lynmock: @kyoyan_o 「ドイツ全体の駆除頭数を示す公的統計は存在 しないが、年間猫 40 万頭、犬 6 万 5 千頭に達すると指摘する動物保護団体もある」 https://t.co/oV8ZU3aSnt ドイツは統計が無いだけですね
RT @shigeodayo: 情処の特集号に採択された論文が公開された。@leonis_sk と一緒にやってた研究です。 https://t.co/CbxlCjcKlN
RT @tanaka_akr: 去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journal of Inf…
去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journa… https://t.co/zwfQSi9q2o

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

@dmikurube @earth2001y あとCiNiiのコレの巻号情報を参考に……(国会図書館よりはアクセスが容易な所にあるのもあるで) https://t.co/jKePoJxt2S
RT @chikurin_8th: 日本思想は論理的一貫性を軽蔑する。典型は鈴木大拙の禅思想で「山は山で、山でない。水は水で、水でない(「東洋思想の不二性」)」てなことを言う。実はこれがサンスクリット語の誤読に由来する疑いが濃厚なのです。下から短い論文がDLできます。外国語おそ…
RT @chikurin_8th: 日本思想は論理的一貫性を軽蔑する。典型は鈴木大拙の禅思想で「山は山で、山でない。水は水で、水でない(「東洋思想の不二性」)」てなことを言う。実はこれがサンスクリット語の誤読に由来する疑いが濃厚なのです。下から短い論文がDLできます。外国語おそ…
RT @yashoku_nikki: 今実験中でまだ論文化しておりませんので、データはお見せできませんが、研究の一部は2017年の日本調理科学会で発表しております。↓ J-STAGE Articles - 揚げ物における油および煮物における煮汁の浸透の観察 https://t.…
RT @chikurin_8th: 日本思想は論理的一貫性を軽蔑する。典型は鈴木大拙の禅思想で「山は山で、山でない。水は水で、水でない(「東洋思想の不二性」)」てなことを言う。実はこれがサンスクリット語の誤読に由来する疑いが濃厚なのです。下から短い論文がDLできます。外国語おそ…
RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @dragoner_JP: なんか、「ドイツでは犬猫殺処分は無い代わりに狩猟により殺処分されている」という言説が出回っているらしく、根拠として国会図書館の「調査と情報」が挙げられているけど、まともに読んでいない or 読解力が無いのか、全然そんな事書いてないんですが………
RT @dragoner_JP: なんか、「ドイツでは犬猫殺処分は無い代わりに狩猟により殺処分されている」という言説が出回っているらしく、根拠として国会図書館の「調査と情報」が挙げられているけど、まともに読んでいない or 読解力が無いのか、全然そんな事書いてないんですが………
RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @lynmock: @kyoyan_o 「ドイツ全体の駆除頭数を示す公的統計は存在 しないが、年間猫 40 万頭、犬 6 万 5 千頭に達すると指摘する動物保護団体もある」 https://t.co/oV8ZU3aSnt ドイツは統計が無いだけですね
RT @lynmock: @kyoyan_o 「ドイツ全体の駆除頭数を示す公的統計は存在 しないが、年間猫 40 万頭、犬 6 万 5 千頭に達すると指摘する動物保護団体もある」 https://t.co/oV8ZU3aSnt ドイツは統計が無いだけですね
RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @lynmock: @kyoyan_o 「ドイツ全体の駆除頭数を示す公的統計は存在 しないが、年間猫 40 万頭、犬 6 万 5 千頭に達すると指摘する動物保護団体もある」 https://t.co/oV8ZU3aSnt ドイツは統計が無いだけですね
RT @tanaka_akr: 去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journal of Inf…
去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journa… https://t.co/zwfQSi9q2o