mr_konn (Twitter) - ユーザ詳細

スマートコン (@mr_konn)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

8 0 0 0 OA 親族の代数構造 : レヴィ=ストロースが残したもの

こんなPDFがヒットした https://t.co/ADvxPxRDcr

426 0 0 0 OA プログラミング教育の最前線:2.プログラミングの大衆化が始まった

RT @tokoroten: 今一つ前提が伝わってないようなので、前のページも放流しておくかちなみに「小学校の田植え」のメタファーは原田先生 (@haradayasunori )の情報処理学会の学会誌から引用させてもらっています https://t.co/Ki0TpeE…

198 0 0 0 OA ポスドクからポストポスドクへ(<シリーズ>"ポスドク"問題その12)

RT @focaccia_vr: 芥川賞作家、円城塔先生の物理学会誌への有名な寄稿「ポスドクからポストポスドクへ」またオープンアクセスになっているようです。（一時期、読めなかったような。） https://t.co/5h5azvuZVZ

25 0 0 0 OA 「承認の政治」に賭けられているもの

RT @yot07814: 公刊した拙論すべてで、実はわたしも同性婚については懐疑的ですが、日本社会においては差別をなくす一助とは考えています。ダウンロードできるものとして、2006年と古いですが、こちらがあります。よろしければご参照ください。https://t.co/ruFY…

2 0 0 0 OA Bounded Arithmeticと計算量の根本問題

@shitijyou 有界算術の話でしょうか？ https://t.co/38wHPcNCMY

13 0 0 0 OA ジョン・ボイド・オールの食料政策論(中)

RT @hms_ulysses: イギリスのWW2の食料配給について書かれていて面白い。パンは戦時中の方がむしろ供給量が多かった（しかも配給制の対象にならなかった）というのは初めて知りました。（PDF） https://t.co/52fjlmsBLc

798 0 0 0 OA 副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う

RT @Naga_Kyoto: この論文タイトルのセンスが良すぎる… 島田泰子「副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う」 https://t.co/FnkvzEv87E https://t.co/Vlpi1rPCsa

239 0 0 0 OA エチオピア南部デラシェ社会における主食としての醸造酒パルショータ

RT @uasi: 1日に5kg前後の醸造酒を飲むほかは食べ物も飲み物もほとんど口にしない民族がアフリカにいる…… https://t.co/yB9SRvjj8Y

2547 0 0 0 ポスドクからポストポスドクへ(<シリーズ>"ポスドク"問題その12)

Now Browsing: CiNii 論文 - ポスドクからポストポスドクへ (円城塔) - https://t.co/7afJbNdz4B

2 0 0 0 OA FoSSaCS 2017参加報告

RT @sinya8282: FoSSaCS 2017での結果については以前僕が書いた参加報告に簡単に触れられています。他の論文の解説などもあるのでこちらもぜひ

6 0 0 0 OA プロバビリテーの訳語の歴史

プロバビリテーの訳語の歴史 https://t.co/5wqsXDOH4M

7 0 0 0 OA 議論理論に基づく推理小説の犯人推理

JAIST Repository: 議論理論に基づく推理小説の犯人推理教えて頂いた論文。「隅の老人」モノを題材に、議論論理と呼ばれる論理体系の一種を用いて形式化して、計算機に犯人を当てさせようとしている。 https://t.co/IObihaeb25

883 0 0 0 OA 深層ニューラルネットの積分表現理論

RT @k1ito: 最近NNの数学的定式化が一部で流行っているっぽいので昨日リプライで送られてきた論文紹介するけど。これ数学プロパーが深層学習を勉強するときに一番良いPDFではと思えるレベル。よくここまでサーベイできるなと。。。(200ページ以上あるので重い) https:/…

19 0 0 0 OA 現代集合論における巨大基数(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

薄葉さんと殿下の巨大基数に関する論説はこれです https://t.co/A8of1EsOMu

282 0 0 0 OA オートマトン理論再考

RT @sinya8282: 拙著サーベイ論文「オートマトン理論再考」が今日付けでJSTAGEに公開されました！どなたでもアクセスできると思いますので，ぜひぜひ読んでみてください． https://t.co/5WHN1lbyYY

8746 0 0 0 ドメインにより意味が変化する単語に着目した猥褻な表現のフィルタリング

RT @todesking: "提案手法では有害表現が含まれる文をドメインごとに機械学習し有害表現の分類器を" とか書いてあるけど論文では筆者の主観で手動分類しただけで終わってないですかということに気づき、背景を想像しておなかがいたくなってきた https://t.co/8qA…

10847 0 0 0 OA 東日本大震災の津波被害における神社の祭神とその空間的配置に関する研究

RT @knada40: TLに流れてきた「東日本大震災の津波被害における神社の祭神とその空間的配置に関する研究」の内容の粗さに驚く。民俗学や中世〜近代史の人はどう思うのか。これで査読が通るとは...... https://t.co/2gnt8WVnoo

10847 0 0 0 OA 東日本大震災の津波被害における神社の祭神とその空間的配置に関する研究

RT @shoemaker_levy: まあ滅茶苦茶ですよね、現存する神社が1000年以上そこにあるはずとか、その祭神もずっと変わらないとかありえないし、ちょっとしたトンデモ。こういうことにならないために学際的な災害史の共同研究があり、実際もっとまともな研究になっている。 ht…

6 0 0 0 OA <一般論文> 大きな数としての超準数 : 超準数と厳格有限主義

https://t.co/F29ZsCCi7g - https://t.co/F29ZsCCi7g 矢田部さんがそんなような事かいてた

30 0 0 0 OA Relationship between Kawaii Feeling and Biological Signals

RT @Cernobyl: 学術用語としての"Kawaii"、結構前から使われてるっぽい。/ Relationship between Kawaii Feeling and Biological Signals https://t.co/1wdr16KVtx

4542 0 0 0 OA 標準的なゲームプレイヤにとって自然に見える疑似乱数列の生成法

RT @kaikoen: 論文「標準的なゲームプレイヤにとって自然に見える疑似乱数列の生成法」、めっちゃ面白え！「数学的に正しく生成された乱数」と「プレイヤーが考える公平な乱数」って結構違うんだぜ！という話を、認知科学や心理学のアプローチで解説してる論文。 https://t…

429 0 0 0 OA Office365 Educationの真実:カイゼンの裏にあるもの

RT @kero7: Office365 Educationの真実：カイゼンの裏にあるもの http://t.co/RGrMuDgFUX クラウドに身を任せすぎるのも危険だね、というお話。統合認証とか複雑な過去の資産を引きずりつつクラウド化ってのは、オンプレ以上にとても難しい。

18 0 0 0 OA SAT問題と他の制約問題との相互発展

RT @masahiro_sakai: 「SAT問題と他の制約問題との相互発展」という論文がソフトウェア科学会の「コンピュータソフトウェア」誌に掲載されました。 http://t.co/gtl8bZb34B https://t.co/jHQtYXNGPu

502 0 0 0 OA 猫にはわかる量子プログラミング

RT @hatebu: 猫にはわかる量子プログラミング (51 users) http://t.co/X9Qa6UzEiW 6件のコメント http://t.co/8Y8AVn7Ul8

502 0 0 0 OA 猫にはわかる量子プログラミング

RT @hatebu: 猫にはわかる量子プログラミング (51 users) http://t.co/X9Qa6UzEiW 6件のコメント http://t.co/8Y8AVn7Ul8

10 0 0 0 OA Hilbertの第2問題に関する証明論の展開

@yamashitam 高階の算術についても、何らかの意味で「有限的」な手法にで無矛盾性を証明することは出来ないか、というのが証明論の人達が取り組んでいる大きな問題の一つであったりします。この辺りの話は新井先生のPDFに詳しいです https://t.co/uCYxiqIgkc

7 0 0 0 OA 世界創作の技法

RT @bonotake: @mr_konn http://t.co/6st9GJVcji

2547 0 0 0 ポスドクからポストポスドクへ(<シリーズ>"ポスドク"問題その12)

円城塔が寄稿した「ポスドクからポストポスドクへ」を読むとすごいつらい http://t.co/rxLWcYQdx1

2 0 0 0 Packrat Parsingを用いたRubyの構文解析

RT @eldesh: @mr_konn PEGで書いた人はいるっぽいので調べれば公開されてるかもですね http://t.co/hxpinjQR

22 0 0 0 ZL77では圧縮できるがMPMでは圧縮できない系列はたくさんある

RT @kinaba: この論文の日本語タイトルかっこいいな http://t.co/bc7svLmv

15 0 0 0 OA Coq上でのMonadic Total Parser Combinatorの実装

RT @shelarcy: Coq上でのMonadic Total Parser Combinatorの実装 https://t.co/2OnC9p3R http://t.co/VSDuoDFq #miteru

8 0 0 0 OA 型理論III

@ccccccccandy 型推論というか型理論だけなら、基礎論の知識なくてもこの PDF がわかりやすいよー　http://t.co/ufpnR0XL http://t.co/uaVrg0Yc http://t.co/rj5VsHjb http://t.co/28lLSO9O

11 0 0 0 OA 型理論IV

11 0 0 0 型理論-2-

14 0 0 0 型理論-1- (関数型プログラミングと計算の基礎<特集>)

11 0 0 0 型理論-2-

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6

8 0 0 0 OA 型理論III

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6

14 0 0 0 型理論-1- (関数型プログラミングと計算の基礎<特集>)

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6

11 0 0 0 OA 型理論IV

@fumieval この辺りのはどうでしょう？ http://t.co/ghIaVd4W http://t.co/CAyFBsy7 http://t.co/hb6zxI3l http://t.co/SaOzKwT6

808 0 0 0 ぷよぷよはNP完全

この辺か。 http://t.co/YqtYD5Zc http://t.co/IOXYSAzG

5 0 0 0 パラメトリック・ポリモフィズム

@qnighy @pi8027 パラメトリシティ原理については、この論文がわかりやすかった記憶があります http://t.co/r2IUk54

5 0 0 0 パラメトリック・ポリモフィズム

RT @masahiro_sakai: .@mr_konn パラメトリシティはとりあえずパラメトリック・ポリモルフィズム長谷川立 http://t.co/buz8wZv を読むといいかと。今落ちてるけど。

360 0 0 0 パソコンによる忘年会ビデオ編集

RT @masui: これはすごい論文! http://ci.nii.ac.jp/naid/110000038112

2544 0 0 0 ブラジャー着用時と非着用時の運動中の乳房振動特性

RT @mstssk: >ブラジャー着用時と非着用時の運動中の乳房振動特性 http://ci.nii.ac.jp/naid/110003166950/

お気に入り一覧（最新100件）

19 0 0 0 OA 現代集合論における巨大基数(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

ためしに薄葉-藤田の『現代集合論における巨大基数』をパラッと読んだけど、モチベーションの説明も素朴で読み物としてかなり面白かった https://t.co/XB08ldw2Aw

426 0 0 0 OA プログラミング教育の最前線:2.プログラミングの大衆化が始まった

今一つ前提が伝わってないようなので、前のページも放流しておくかちなみに「小学校の田植え」のメタファーは原田先生 (@haradayasunori )の情報処理学会の学会誌から引用させてもらっています https://t.co/Ki0TpeEQCl https://t.co/vahccGxoZe

139 0 0 0 OA LR構文解析の原理

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

25 0 0 0 OA 「承認の政治」に賭けられているもの

公刊した拙論すべてで、実はわたしも同性婚については懐疑的ですが、日本社会においては差別をなくす一助とは考えています。ダウンロードできるものとして、2006年と古いですが、こちらがあります。よろしければご参照ください。https://t.co/ruFYf3eSz4 https://t.co/eYeDpmgoYL