カップ麺を消費して証明を生成する機械 (@fetburner)

投稿一覧(最新100件)

RT @todesking: ソーシャルポルノ="特定のコミュニティに属するユーザが、脊髄反射的に拡散・共有してしまいたくなる情報"という便利概念を知った https://t.co/2YDOHDqZxA
RT @k1ito: 最近NNの数学的定式化が一部で流行っているっぽいので昨日リプライで送られてきた論文紹介するけど。これ数学プロパーが深層学習を勉強するときに一番良いPDFではと思えるレベル。よくここまでサーベイできるなと。。。(200ページ以上あるので重い) https:/…
PEZY-SC,サイクルごとに実行するスレッドを切り替える設計なのに,in-order2命令発行のスーパースカラなんは何でなんやろ https://t.co/KU5OdI3aWO
RT @esumii: 論文本体(無料公開)はこちら:https://t.co/GgGiKyXS5w 元となった大堀先生のコンパイラの授業はこちら:https://t.co/N5wTq7w5Kb 「既存のコンパイラの教科書では,例えばこの基本的な原理の基礎となるアイデアなどが極…
RT @AtsushiOhori: #システムソフトウェア工学 仮想記憶の古典Denning:The Working Set Model for Program Behavior,1968について以前書いた紹介記事(情報処理学会誌,20世紀の名著名論):https://t.co…
@namachan10777 じゃけんパーサージェネレータ自作しましょうね https://t.co/3kEOLDOX99
RT @dico_leque: @fetburner Coqでparsecみたいなのを実装したやつとかも https://t.co/v5NKV0EENK
RT @FoD5: うーん、さらにρ眼が進んで電子励起が電子勃起に見えてしまう…。ゴシゴシ、ゴシゴシ。ゴシゴシゴシ。あれ? https://t.co/ZdzkRKtMSX 電子勃起を用いた原子分子操作
RT @takapiko: CiNii 論文 -  お遍路における巡回セールスマン問題 http://t.co/oVQdaNuboH #CiNii

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

「書評 坪井 明人 -- 新井敏康:数学基礎論——Mathematical Logic——,岩波書店,2011年,536ページ.」 https://t.co/jknxf4w9kA 坪井先生の書評あったのか.
こういう文脈(無曖昧文脈自由文法からその母関数を代数的消去を通じて計算する) cf. オートマトン理論再考 3.2章 https://t.co/5WHN1lbyYY https://t.co/qlK3qMqjSY
オ,オートマトン理論再考が5ヶ月連続アクセスランキング第一位だ...
不完全性定理によってシンギュラリティが来ないことを証明するという主張を見つけてしまったので、みなさんで熟読しておいてください。私は読みませんが…… https://t.co/az2G9ppMat
ソーシャルポルノ="特定のコミュニティに属するユーザが、脊髄反射的に拡散・共有してしまいたくなる情報"という便利概念を知った https://t.co/2YDOHDqZxA
#超算数 0の段のかけ算の学習援助 -授業内容の構想とその効果- https://t.co/8BVCRQP6U6 という文献が凄い。 4年生に洗脳指導 大学生にまで正しい順序wを求めている 順序指導を正当化する根拠が、ある文献に小… https://t.co/GR7k7leBlE

27 1 1 0 OA 島のこと

おぉ,JSTAGE/Computer Softwareで湯淺先生の屋久島生活の記事が読める. 「島のこと」湯淺 太一 https://t.co/cWHOPQEPd8 https://t.co/pVMDctHIjT
@Lugendre https://t.co/fjDGw0g2Ov
「ゲームシナリオのモデル検査」 https://t.co/InJ0QBUi7l #ML_Day
「きまりの読み方」千葉滋 https://t.co/FrJV1pF8x5 コンピュータソフトウェア誌の論文投稿規定の改定について. 英語では「multiple submission」「multiple publication」は… https://t.co/usG24RW16p
JSTAGEにて "FoSSaCS 2017 参加報告" が公開されました.オンラインで読めます. 昨年の4月に行われた FoSSaCS に参加してきたのですが,その報告記(論文紹介含む)になります.どうぞご笑覧ください.… https://t.co/oe8nPK2ijR
夜なべ仕事で計算機を開発した日々 - J-Stage https://t.co/5H64h9bixI
だから「オートマトン理論再考」もよろしく
各 n について n 文字の受理語の数が等しい2つの正規言語が与えられたとき、なんと文字から文字への関数型トランスデューサーを用いて、なんと2つの正規言語の間の全単射を作ることができる。有限状態のみで一方の言語から他方の言語へ逐次… https://t.co/J1MW4vJLhk
最近NNの数学的定式化が一部で流行っているっぽいので昨日リプライで送られてきた論文紹介するけど。これ数学プロパーが深層学習を勉強するときに一番良いPDFではと思えるレベル。よくここまでサーベイできるなと。。。(200ページ以上ある… https://t.co/8GfQYxQWYA
論文本体(無料公開)はこちら:https://t.co/GgGiKyXS5w 元となった大堀先生のコンパイラの授業はこちら:https://t.co/N5wTq7w5Kb 「既存のコンパイラの教科書では,例えばこの基本的な原理の基礎となるアイデアなどが極めて分かりにくい」
拙著サーベイ論文「オートマトン理論再考」が今日付けでJSTAGEに公開されました! どなたでもアクセスできると思いますので,ぜひぜひ読んでみてください. https://t.co/5WHN1lbyYY
#システムソフトウェア工学 仮想記憶の古典Denning:The Working Set Model for Program Behavior,1968について以前書いた紹介記事(情報処理学会誌,20世紀の名著名論):https://t.co/2TYKYT9cTa ご参考に.
コカ・コーラによる溶解療法が有効であった柿胃石の1例 https://t.co/QeP7kPv5L2 "患者が飲みにくさあを理由に開栓後しばらく放置し、脱気したあとに服用していることが明らかとなり、開栓直後に服用するよう指導した。"
λμ計算のモデルについて https://t.co/9iRTlO3gEc
先読み付き正規表現の有限状態オートマトンへの変換 https://t.co/scUU1wDYUt
平成になってからも東大文学部のインド哲学科って学生受けが悪く不遇なんですけれども、昭和16年度の『帝国大学入学案内』p.14 https://t.co/jvKurlkrSH にも、「不遇の学科は印哲である」って書いてありました。 https://t.co/MfkOsWSMp4
保存されたタンパク質シュゴシンは姉妹セントロメア間の接着を保護する The conserved protein https://t.co/6QG6LthI4i コヒーシンを分解から守るからシュゴシンという命名だそうだけど、それっぽい名前だ

5 0 0 0 OA 公教聖歌集

終世童貞 https://t.co/K4mdRJSvVM https://t.co/hUzSnQkoZ1
@fetburner Coqでparsecみたいなのを実装したやつとかも https://t.co/v5NKV0EENK
CiNii 論文 -  TV番組のネタばらしを非表示にするTwitterクライアントの提案 https://t.co/24tRNnmTuP #CiNii
アニメ動画の音声とキャスト情報を用いた声優認識 https://t.co/r8CKlPbNgI 電子ジャーナルが見当たらなかったから図書館で探してコピーしてきた。探すの大変だった。

194 0 0 0 OA 支那語早わかり

ググると朝日新聞社の「支那語早わかり」が近代デジタルライブラリーで読める( https://t.co/CAWEnWJB3d )のだが、例文で「第三インターナショナルは世界人類の敵である」ってのがあるぞおいwwww https://t.co/Aq5qTMdnjB

256 0 0 0 OA 目次・表紙

情報処理学会誌、かわいい特集だ https://t.co/Goh74MjdYj https://t.co/0wiE5tXTBP
論文「標準的なゲームプレイヤにとって自然に見える疑似乱数列の生成法」、めっちゃ面白え! 「数学的に正しく生成された乱数」と「プレイヤーが考える公平な乱数」って結構違うんだぜ!という話を、認知科学や心理学のアプローチで解説してる論文。 https://t.co/cO5CzTeaWz

12 0 0 0 OA かてもの

食べられる雑草の最高峰「スベリヒユ」 http://t.co/He50gGyYJO 最近偶然『かて物』 http://t.co/9PQIoXo8rq を眺めていて「すめりひやう すべりひゆとも云 ゆびき食ふ 又かて物とす 但わらび粉と食あわせべからず」とあったのを思い出した
さかなクンさん、査読誌で業績積んでんじやん…… 津波被災地の小学校における海の認識に関するテキスト分析 佐々木 剛 , さかなクン , 川名 優孝 [他] 臨床教科教育学会誌 15(1), 9-13, 2015 http://t.co/vmKAOumlC0 #CiNii
うーん、さらにρ眼が進んで電子励起が電子勃起に見えてしまう…。ゴシゴシ、ゴシゴシ。ゴシゴシゴシ。あれ? https://t.co/ZdzkRKtMSX 電子勃起を用いた原子分子操作
CiNii 論文 -  お遍路における巡回セールスマン問題 http://t.co/oVQdaNuboH #CiNii
ところで今日、CiNiiで調べ事してたら、こんなの発見して危うく公衆の前で吹き出す所だった →  CiNii 論文 -  子ども向け伝記『軍神西住戦車長』論--軍神の形成と作品の特徴 http://t.co/vob1QteWEg #CiNii
本研究では、実用的な問題である「スケジューリング」問題を、離散数学、グラフ理論の視点から解析する。具体的には、日本プロ野球のスケジューリングを、グラフ理論分野の最短パス問題に置き換えて、最適なスケジュールを提供することを目標とする。 http://t.co/jvbPLGTCLG
Ohori先生だ | LR構文解析の原理 https://t.co/ArYTIz4N0J
"表示的意味論に基づくパターンマッチング コンパイル方式の構築と実装" / “_pdf” http://t.co/LvnqWTRfPV

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

https://t.co/1LEAeRhXsr 「やま」「もり」「はやし」と「森林」の言語的関係 −「森林文化」の領域 ... - J-Stage
例えば,おっぱいは皮膚の物理モデルを使えば近似できる.しかし,引用先の論文では,4要素粘弾性モデルを仮定しているけど,おっぱいのばね定数E1,E2,粘性μ1,μ2がわからないと近似できない. https://t.co/LSEsXCOsAZ

17 17 17 17 OA 古事記序文講義

RT @Ayukawa_Reiji: 51ページ。「…抜群の記憶力を持っていた役人の稗田阿礼が『古事記』を編纂したとされる」とあるが、『古事記』序文には「臣安萬侶ニ詔シテ稗田阿礼ノ誦ム所ノ勅語ノ旧辞ヲ撰録シテ…」とある。この序文によれば、『古事記』の編纂者は太安萬侶である。 #…
RT @temmusu_n: @kamo_hiroyasu @UFOprofessor @genkuroki @nekomath271828 @ceptree 張替俊夫さんの『九章算術』訳注稿(25)https://t.co/VEkmILoydBによると、負数は多元一次方程式の…
RT @golden_lucky: 「猫にはわかる量子プログラミング」、すごそうだった(編集したくないという意味で) https://t.co/FvKYSGcIwo
NowBrowsing: ja: https://t.co/dtxFdfPpbl マイカフィッシュ形成の数理モデル
RT @subarusatosi: 村井 大介『偏微分方程式の初期値境界値問題と形状最適化問題に対する数値解法の誤差解』 https://t.co/ck4euFLfGX Staggered Runge-Kuttaなど
RT @tanji_y: ドイツでは、野放しだった教育機関での生徒への体罰が禁止された。それを先導したのがアリス・ミラーの著書群だったのは間違いない。 彼女はヒトラーを被虐待児としてみてドイツ社会を震撼させた──私が松本智津夫をそうみたのはその応用。 (出典・翻訳者の山下公…
RT @tanji_y: ドイツでは、野放しだった教育機関での生徒への体罰が禁止された。それを先導したのがアリス・ミラーの著書群だったのは間違いない。 彼女はヒトラーを被虐待児としてみてドイツ社会を震撼させた──私が松本智津夫をそうみたのはその応用。 (出典・翻訳者の山下公…
RT @xhioe: 井下田貴子ほか(2017)「若年層韓国語ソウル方言における/o/と/u/の言語変化の一側面」 https://t.co/6wsfCP4ypH

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

https://t.co/1LEAeRhXsr 「やま」「もり」「はやし」と「森林」の言語的関係 −「森林文化」の領域 ... - J-Stage
例えば,おっぱいは皮膚の物理モデルを使えば近似できる.しかし,引用先の論文では,4要素粘弾性モデルを仮定しているけど,おっぱいのばね定数E1,E2,粘性μ1,μ2がわからないと近似できない. https://t.co/LSEsXCOsAZ

17 17 17 17 OA 古事記序文講義

RT @Ayukawa_Reiji: 51ページ。「…抜群の記憶力を持っていた役人の稗田阿礼が『古事記』を編纂したとされる」とあるが、『古事記』序文には「臣安萬侶ニ詔シテ稗田阿礼ノ誦ム所ノ勅語ノ旧辞ヲ撰録シテ…」とある。この序文によれば、『古事記』の編纂者は太安萬侶である。 #…
RT @temmusu_n: @kamo_hiroyasu @UFOprofessor @genkuroki @nekomath271828 @ceptree 張替俊夫さんの『九章算術』訳注稿(25)https://t.co/VEkmILoydBによると、負数は多元一次方程式の…
RT @golden_lucky: 「猫にはわかる量子プログラミング」、すごそうだった(編集したくないという意味で) https://t.co/FvKYSGcIwo
NowBrowsing: ja: https://t.co/dtxFdfPpbl マイカフィッシュ形成の数理モデル
RT @subarusatosi: 村井 大介『偏微分方程式の初期値境界値問題と形状最適化問題に対する数値解法の誤差解』 https://t.co/ck4euFLfGX Staggered Runge-Kuttaなど
調査としてはこのへんかなぁ? https://t.co/DEB5YXxpay
RT @tanji_y: ドイツでは、野放しだった教育機関での生徒への体罰が禁止された。それを先導したのがアリス・ミラーの著書群だったのは間違いない。 彼女はヒトラーを被虐待児としてみてドイツ社会を震撼させた──私が松本智津夫をそうみたのはその応用。 (出典・翻訳者の山下公…
J-STAGE Articles - 職業経歴と結婚への移行――雇用形態・職種・企業規模と地位変化の効果における男女差―― https://t.co/uWJ1OePHMN
RT @tanji_y: ドイツでは、野放しだった教育機関での生徒への体罰が禁止された。それを先導したのがアリス・ミラーの著書群だったのは間違いない。 彼女はヒトラーを被虐待児としてみてドイツ社会を震撼させた──私が松本智津夫をそうみたのはその応用。 (出典・翻訳者の山下公…
RT @xhioe: 井下田貴子ほか(2017)「若年層韓国語ソウル方言における/o/と/u/の言語変化の一側面」 https://t.co/6wsfCP4ypH