hatebutech (@hatebutech)

投稿一覧(最新100件)

オートマトン理論再考 https://t.co/BANgauZ9AD
情報学広場:情報処理学会電子図書館 https://t.co/k3KqnLueyh
情報学広場:情報処理学会電子図書館 https://t.co/k3KqnLueyh
CiNii 論文 -  数独の難易度判定アプリケーションの提案と評価 http://t.co/RZ2AB3JC0y

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

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

RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @muhedoruri: ”ドイツ全体の駆除頭数を示す公的統計は存在しないが、年間猫40万頭、犬6万5千頭に達すると指摘する動物保護団体もある” https://t.co/4G8UqAggmI 凍りつく前に検索すればすぐなのに、凍りついたりするから… 統計取ってないなら…
RT @tanaka_akr: 去年 IPSJ PRO で発表した Safe Low-level Code Generation in Coq Using Monomorphization and Monadification という論文が論文誌 (Journal of Inf…
RT @bgnori: ほんとに胴長なんだ・・・。 https://t.co/HyBGgfHvcN 英国においてはベーコンの品質基準として屠体長の長いことが1つの目安になっている。 そこで屠体長の長い豚の早期判定の手段としてSHAW(1929)6)は肋骨の数と屠体長との間に相関…
RT @kurubushi_rm: @Dain_sugohon 遺伝情報分析からテキストマイニング、内容分析あたりまでは、既に陸続きな感じがするので、文芸批評あたりにもガシガシ乗り込んでいってもらいたいですね。 例えば、まだまだ端緒的だけど、こんなのとか。 https://t.…

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