Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. .

. (@fetburner)

投稿一覧（最新100件）

245 0 0 0 OA 博士課程進学のメリット・デメリット

RT @1T0T: 博士課程に関して昔から一貫して言ってるのは「職業研究者を輩出したい」よりも「博士号を取れる実力のある人を随所に輩出したい」である。ITならエンジニアやコンサルタントも含めて色んな人が博士を志す社会を目指していて現に研究室運営はそっちに向かっている。 （参考:…

1708 0 0 0 OA 赤坂御用地のトンボ相―多様な環境と人の手による維持管理―

RT @univ00009: 秋篠宮悠仁親王殿下の論文が出たらしい、これは謹んで拝読せねば……… 赤坂御用地のトンボ相―多様な環境と人の手による維持管理― https://t.co/PewqW1Hej7 https://t.co/cylv9l55D6

188 0 0 0 OA 第一回:連続信号と離散信号

RT @trgmeip: 「 （現代では）フーリエ変換はもはや積分では定義されず，（急減少関数列の各項に対するフーリエ変換の関数列）$\hat x_n$の収束先として間接的に定義されている」https://t.co/NIWL406loO

100 0 0 0 OA 消費税の転嫁に関する議論 : 消費税をめぐる論点(4)

RT @order1914: 消費税の「益税」を巡る議論についても、国立国会図書館が「消費税の転嫁に関する議論―消費税をめぐる論点④」報告書を作成しています。インボイス導入には前向きな論調ですが、欧米の例から事務負担増大や免税事業者が取引の中間段階から排除されるおそれを指摘して…

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

J-STAGE Articles - LR構文解析の原理 https://t.co/fU1LQFdIhD

1744 0 0 0 OA 日本語からはじめる科学・技術英文の書き方

RT @ShojiHashimoto3: 日本物理学会誌は宝の山。これ読みたい。 https://t.co/T0ueG5zGGZ 「削除しても文意の変わらない語句は全て冗長」。誇張語の使用は「野心に満ちた若い科学・技術者が初めて成功を経験した場合に使いやすい表現」。SNSは悪文…

4 0 0 0 OA 多層膜ミラーを用いた軟X線結像光学系の開発とEUV露光装置への応用

RT @negitts: これが本当に出来るなら色々と話変わってくるね EUV露光装置の多層ミラーの反射率は70％、これを複数枚だそうなので、これが異なる原理になって効率高まれば、光源のエネルギー物凄く落とせるかも https://t.co/92VC8fvRUD https:…

159 0 0 0 OA 平安貴族の遅刻について 摂関期を中心に

RT @kuippa: @goshuinchou 罰則がアルハラ。 https://t.co/tsnHLyNYdp https://t.co/VxnNGZvvY0

2275 0 0 0 OA アーティクル:情報解析と著作権——「機械学習パラダイス」としての日本

RT @yasei_no_otoko: 一言で言うと「日本では普通に可能」です。 https://t.co/HUT6wxMtBW https://t.co/hVvu1Bn0Zk

38 0 0 0 OA 「恋する小惑星(アステロイド)」作者Quro先生と担当編集竹ノ内さんへのインタビュー

RT @NOCO_1002: これ 本当に おもしろい 「恋する小惑星（アステロイド）」作者Quro先生と担当編集竹ノ内さんへのインタビュー https://t.co/MkuSrJoSIi

3652 0 0 0 OA On the origin and evolution of the asteroid Ryugu: A comprehensive geochemical perspective

RT @SukunaBikona7: はやぶさ2が持ち帰った小惑星の砂から取れたアミノ酸の中に昆布出汁に含まれる旨味成分であるグルタミン酸が含まれていたので、やはり小惑星は煮れば出汁が取れる。 https://t.co/lXJtuJw8dD https://t.co/OVoYK…

46 0 0 0 OA 財政規律の誤謬:数理分析によるMMTの精神

RT @reiwanekotomo: 財政赤字に関するMMTの主張を「概ね正しい」とする数理化の試み。 田中靖人「財政規律の誤謬：数理分析によるMMTの精神」 https://t.co/naDgrlTNtw

279 0 0 0 OA ジェンダーから見た狩猟採集社会

RT @LazyWorkz: 「栄養人類学」というものをよく知らなかったので、栄養人類学とジェンダーについての論文を探してみたのですが、見つけた１本目から 「水汲みは男性の仕事にもなっている」 とあり、上野千鶴子氏の主張と真っ向から食い違ってて困惑です。 ■ジェンダーから見た…

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

RT @sinya8282: 昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入…

503 0 0 0 OA (情報系)博士課程進学とその先

RT @physics303: アカポスこっわ． https://t.co/5XcThlTeLW https://t.co/UIbO91dSyE

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

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

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

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

491 0 0 0 電子励起を用いた原子分子操作

RT @Fm7: どうしようクソ笑ってるんだけど（特定領域研究） KAKEN — 研究課題をさがす | 電子勃起を用いた原子分子操作 (KAKENHI-PROJECT-11222101) https://t.co/bbRcUsfYCe

5480 0 0 0 OA A CASE REPORT OF SUCCESSFUL COCA-COLA LAVAGE TREATMENT FOR PERSIMMON BEZOAR

RT @torikameinu: 毎年柿の季節に言ってるんですけど、柿を食べすぎて胃に「柿胃石」が出来た爺さんが、コカコーラ飲んで溶かす治療を受けたけど、炭酸キツくて炭酸抜けたの飲んでたのが医者にバレて怒られた話を置いておきます。https://t.co/yuSI6ZQjWy…

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

RT @sinya8282: 色々イベントがなくなり学生さん達も退屈されていると思います．が、こういうときは本とか論文とか読みあさるいい機会です． たとえばJ-STAGEでは様々な日本語文献が公開されていて読み放題です．　 どうもこの「オートマトン理論再考」という論文が人気な…

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

RT @sinya8282: #コロナばっかりで気が滅入るから可愛いオートマトン載せようぜ https://t.co/5WHN1lbyYY https://t.co/2DEGynHezx

2113 0 0 0 OA 生命力旺盛なクズと人間との関わり : アンケート調査の結果

RT @blue_standard2: 論文題目が怖くて泣いちゃった https://t.co/vy03jr62JZ https://t.co/bS90AxWlwJ

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

RT @shiatsumat: 各 n について n 文字の受理語の数が等しい2つの正規言語が与えられたとき、なんと文字から文字への関数型トランスデューサーを用いて、なんと2つの正規言語の間の全単射を作ることができる。有限状態のみで一方の言語から他方の言語へ逐次変換できるのであ…

65 0 0 0 OA ソーシャルポルノ仮説の提案とその観測に向けて

RT @todesking: ソーシャルポルノ="特定のコミュニティに属するユーザが、脊髄反射的に拡散・共有してしまいたくなる情報"という便利概念を知った https://t.co/2YDOHDqZxA

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

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

184 0 0 0 OA グリーンスーパーコンピュータZettaScalerの技術と今後の展望

PEZY-SC，サイクルごとに実行するスレッドを切り替える設計なのに，in-order2命令発行のスーパースカラなんは何でなんやろ https://t.co/KU5OdI3aWO

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

RT @esumii: 論文本体（無料公開）はこちら：https://t.co/GgGiKyXS5w 元となった大堀先生のコンパイラの授業はこちら：https://t.co/N5wTq7w5Kb 「既存のコンパイラの教科書では，例えばこの基本的な原理の基礎となるアイデアなどが極…

6 0 0 0 OA 20世紀の名著名論:Peter J. Denning: The Working Set Model for Program Behavior

RT @AtsushiOhori: #システムソフトウェア工学 仮想記憶の古典Denning：The Working Set Model for Program Behavior,1968について以前書いた紹介記事（情報処理学会誌，２０世紀の名著名論）：https://t.co…

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

@namachan10777 じゃけんパーサージェネレータ自作しましょうね https://t.co/3kEOLDOX99

5 0 0 0 Coq上でのMonadic Total Parser Combinatorの実装

RT @dico_leque: @fetburner Coqでparsecみたいなのを実装したやつとかも https://t.co/v5NKV0EENK

491 0 0 0 電子励起を用いた原子分子操作

RT @FoD5: うーん、さらにρ眼が進んで電子励起が電子勃起に見えてしまう…。ゴシゴシ、ゴシゴシ。ゴシゴシゴシ。あれ？ https://t.co/ZdzkRKtMSX 電子勃起を用いた原子分子操作

6 0 0 0 IR お遍路における巡回セールスマン問題

RT @takapiko: CiNii 論文 -  お遍路における巡回セールスマン問題 http://t.co/oVQdaNuboH #CiNii

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

19 0 0 0 OA 二重振り子とカオス

二重振り子、シンプルなのに初期値鋭敏性があって面白い系なのでみんな見て！というか全人類カオス力学勉強して❤ https://t.co/00OpE4dyNg

1708 0 0 0 OA 赤坂御用地のトンボ相―多様な環境と人の手による維持管理―

秋篠宮悠仁親王殿下の論文が出たらしい、これは謹んで拝読せねば……… 赤坂御用地のトンボ相―多様な環境と人の手による維持管理― https://t.co/PewqW1Hej7 https://t.co/cylv9l55D6

1954 0 0 0 OA 飯山陽著『イスラム教の論理』 新潮社,2018 年 2 月,238 頁,定価 780 円(税別)

褒めるところは褒めつつも、イスラム法学のめちゃめちゃ初歩的な知識が欠けてるとか、行間から怒りが滲み出てくるようなすごい書評でワロタw https://t.co/2FPGOihA96

188 0 0 0 OA 第一回:連続信号と離散信号

「 （現代では）フーリエ変換はもはや積分では定義されず，（急減少関数列の各項に対するフーリエ変換の関数列）$\hat x_n$の収束先として間接的に定義されている」https://t.co/NIWL406loO

22 0 0 0 OA 情報系研究者にとって物理学とは? : 研究者100人に聞きました (<談話室連載>「大学理工系の基礎物理」)

日本物理学会誌は宝の山。情報系にとって物理学は必要か。https://t.co/PX13EF8Zla 教養として必要だという意見が半数。どんな知識が役立つかというと論理的な方法論。そこにワクワクはない。 公式の応用、式の解き方を学んでもつまらない。物理は面白いという意見は見当たらない。残念ながら

2788 0 0 0 OA 排便時に便器中から発見 されたミミズについて

懺悔したいことがあります． 「排便時に便器中から発見されたミミズについて」という報告を　土壌動物学会誌Edaphologiaに，投稿したのですが，月間アクセス数ランキングが，ずーっと1位になってしまっています．もっと良い論文や総説があるのですが，それをさしおいて． https://t.co/JlReNiXCX3

100 0 0 0 OA 消費税の転嫁に関する議論 : 消費税をめぐる論点(4)

消費税の「益税」を巡る議論についても、国立国会図書館が「消費税の転嫁に関する議論―消費税をめぐる論点④」報告書を作成しています。インボイス導入には前向きな論調ですが、欧米の例から事務負担増大や免税事業者が取引の中間段階から排除されるおそれを指摘しています https://t.co/8jWaEDTwCO

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

ところでオートマトン理論最高がアクセスランキング４位に返り咲いていて少し嬉しい(同率４位初めてみたかも) https://t.co/5WHN1kUvWY https://t.co/sNA2EiZ3pJ

8 0 0 0 OA Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities

学位論文が総研大リポジトリで公開されました！ / https://t.co/H0dDAx3zAG

4 0 0 0 OA 多層膜ミラーを用いた軟X線結像光学系の開発とEUV露光装置への応用

これが本当に出来るなら色々と話変わってくるね EUV露光装置の多層ミラーの反射率は70％、これを複数枚だそうなので、これが異なる原理になって効率高まれば、光源のエネルギー物凄く落とせるかも https://t.co/92VC8fvRUD https://t.co/SEHoBixcUX

245 0 0 0 OA 博士課程進学のメリット・デメリット

博士課程に関して昔から一貫して言ってるのは「職業研究者を輩出したい」よりも「博士号を取れる実力のある人を随所に輩出したい」である。ITならエンジニアやコンサルタントも含めて色んな人が博士を志す社会を目指していて現に研究室運営はそっちに向かっている。 （参考: https://t.co/BEoD17Gj29） https://t.co/qJz8J0oWmm

159 0 0 0 OA 平安貴族の遅刻について 摂関期を中心に

@goshuinchou 罰則がアルハラ。 https://t.co/tsnHLyNYdp https://t.co/VxnNGZvvY0

22 0 0 0 OA 意味論の証明論的転回

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。 「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。

2275 0 0 0 OA アーティクル:情報解析と著作権——「機械学習パラダイス」としての日本

一言で言うと「日本では普通に可能」です。 https://t.co/HUT6wxMtBW https://t.co/d8H6EIFFzp https://t.co/hVvu1Bn0Zk

5 0 0 0 OA 言語の測度に基づく非正規性の証明技法

言語の測度に基づく非正規性の証明技法https://t.co/SLR7wr9eLU 積読消化。むちゃくちゃ面白い。

243 0 0 0 OA 黙読習慣と個人主義

黙読という習慣についての歴史が分りやすくまとめられています．ソクラテスの「ダイモーンの声」を「近代的な内面の良心の声」とする解釈があるのは知りませんでした．読書好きの方はきっと［参考文献］を手元に置いておきたくなるはずです． https://t.co/m7osMKBoGt https://t.co/a01aX6kEIp

38 0 0 0 OA 「恋する小惑星(アステロイド)」作者Quro先生と担当編集竹ノ内さんへのインタビュー

これ 本当に おもしろい 「恋する小惑星（アステロイド）」作者Quro先生と担当編集竹ノ内さんへのインタビュー https://t.co/MkuSrJoSIi

1 0 0 0 OA ブール基数制約を経由した擬似ブール制約のSAT符号化手法

ブール基数制約を経由した擬似ブール制約のSAT符号化手法 https://t.co/xHZHyeAlAS PB制約を基数制約上の連言標準形に一旦変換して、シーケンシャルカウンタで符号化。一般化アーク整合性を維持でき、論理的に同一な制約が同じ中間表現になり、また係数の種類が少ない制約で既存手法よりも良い性能。

3652 0 0 0 OA On the origin and evolution of the asteroid Ryugu: A comprehensive geochemical perspective

はやぶさ2が持ち帰った小惑星の砂から取れたアミノ酸の中に昆布出汁に含まれる旨味成分であるグルタミン酸が含まれていたので、やはり小惑星は煮れば出汁が取れる。 https://t.co/lXJtuJw8dD https://t.co/OVoYKVJPZy

46 0 0 0 OA 財政規律の誤謬:数理分析によるMMTの精神

財政赤字に関するMMTの主張を「概ね正しい」とする数理化の試み。 田中靖人「財政規律の誤謬：数理分析によるMMTの精神」 https://t.co/naDgrlTNtw

299 0 0 0 OA <特集 日本研究の道しるべ : 必読の一〇〇冊>ポピュラーカルチャー

最近の人文系ポストに決まった人は「専門が何であれ、しばしば、まんがやアニメやゲームについての論文を二つ、三つ書いている点で共通している」。これを「不愉快な文脈」と言っているところが、やはりいい。この「不愉快」の一語が出てこないんだよ、なかなか。https://t.co/Yn1jn4CCMw

279 0 0 0 OA ジェンダーから見た狩猟採集社会

「栄養人類学」というものをよく知らなかったので、栄養人類学とジェンダーについての論文を探してみたのですが、見つけた１本目から 「水汲みは男性の仕事にもなっている」 とあり、上野千鶴子氏の主張と真っ向から食い違ってて困惑です。 ■ジェンダーから見た狩猟採集社会 https://t.co/jB81w6MBvX https://t.co/B9WwdTaD56

66 0 0 0 OA 形式言語理論:非可換と可換のあいだ

昨年末に「応用数理」に投稿した解説論文 「形式言語理論：非可換と可換のあいだ」 が J-STAGE 上で読めるようになりました． 形式言語理論特有の難しさや面白さを説明させてもらいました． 「応用」を意識して自然言語っぽい話もいくつか話題に取り入れてみました． https://t.co/B4PKRNZb6p https://t.co/qc71Z2O43m

15 0 0 0 OA Raman spectroscopic identification of continuity of a channel olivine in a peridotite specimen

世界最大の橄欖石単結晶（北海道幌満岩体）論文、正式公開。 Yamamoto, J., Ishibashi, H., Hagiwara, Y., Yokokura, L., and Niida, K. (2022) Raman spectroscopic identification of continuity of a channel olivine in a peridotite specimen. Geochem. J., 56, 31–39. https://t.co/FJ0h1n3WsY

42 0 0 0 OA 5.20 朝永博士より木庭二郎氏へ(11月30日)(III. 海外通信(1949年〜1950年),5. 素粒子論研究に掲載された朝永先生の論文・研究会講演・海外通信,<特集>朝永振一郎先生追悼特集号)

ファインマンさん早口なので、朝永さんがファインマンに会ったら、「早口でしゃべりすぎだ」とかおっしゃりそうだなと思ってたら、本当にそうおっしゃったことがあるらしく笑ってしまった。 (https://t.co/eLaBsW9vjp) https://t.co/EKdFXIWD6P

503 0 0 0 OA (情報系)博士課程進学とその先

アカポスこっわ． https://t.co/5XcThlTeLW https://t.co/UIbO91dSyE

27 0 0 0 OA 日本は先進国か?

おぉ，小林先生がコンピュータソフトウェアの巻頭言を書かれている（正座して読みまする）． 「日本は先進国か？」 https://t.co/Ds8XbUbXqJ

3200 0 0 0 OA 官報

このブログを見て調べてたら、1906年9月の官報で確かに杉本佐一に功七級金鵄勲章が与えられてるのを見つけちゃった https://t.co/IPthO2IkD4 https://t.co/Eds5ht0KHb https://t.co/OcBiMjsCzR

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

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

491 0 0 0 電子励起を用いた原子分子操作

どうしようクソ笑ってるんだけど（特定領域研究） KAKEN — 研究課題をさがす | 電子勃起を用いた原子分子操作 (KAKENHI-PROJECT-11222101) https://t.co/bbRcUsfYCe

150 0 0 0 OA 同期位相計測装置を用いた九州内電力系統動揺特性の解析

https://t.co/qDxVpeB0yX > 西日本60Ｈｚ系統は、系統間に約２～３秒周期の長周期の動揺が存在することが分かっている。また、それらは大阪を中心として、西と東で逆位相に振動し、福井、名古屋が同方向に、徳島、広島、宮崎が同方向に振動することが分かっている。 ！！？！？！？？？！

5480 0 0 0 OA A CASE REPORT OF SUCCESSFUL COCA-COLA LAVAGE TREATMENT FOR PERSIMMON BEZOAR

毎年柿の季節に言ってるんですけど、柿を食べすぎて胃に「柿胃石」が出来た爺さんが、コカコーラ飲んで溶かす治療を受けたけど、炭酸キツくて炭酸抜けたの飲んでたのが医者にバレて怒られた話を置いておきます。https://t.co/yuSI6ZQjWy https://t.co/eFsqf3tgbr

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

#コロナばっかりで気が滅入るから可愛いオートマトン載せようぜ https://t.co/5WHN1lbyYY https://t.co/2DEGynHezx

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

色々イベントがなくなり学生さん達も退屈されていると思います．が、こういうときは本とか論文とか読みあさるいい機会です． たとえばJ-STAGEでは様々な日本語文献が公開されていて読み放題です．　 どうもこの「オートマトン理論再考」という論文が人気なようですね． https://t.co/YTHDDa010k https://t.co/h6HTG5T7qh

17 0 0 0 OA 執金剛神縁起

全国の平安時代ファンの皆様、本日は、東国で「新皇」を名乗った平将門が蜂に刺されてあえない最期を遂げるシーンをお送りしますのでどうかご査収ください。国立国会図書館デジタルコレクション「執金剛神縁起」より。 https://t.co/mLxV8aFemy https://t.co/QRz1BnJtct

2 0 0 0 OA 木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について

「木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について」 https://t.co/5xqYREzkmB 木 to 文字列への決定性トップダウン変換の等価性の決定可能性にヒルベルトの規定定理が使われるの面白れ〜(等価性の証拠に多項式環のイデアルが取ってこれてそれは加算なので列挙可)．

1 0 0 0 OA 新井敏康:数学基礎論——Mathematical Logic——,岩波書店,2011年,536ページ.

「書評 坪井 明人 -- 新井敏康：数学基礎論——Mathematical Logic——，岩波書店，2011年，536ページ．」 https://t.co/jknxf4w9kA 坪井先生の書評あったのか．

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

こういう文脈(無曖昧文脈自由文法からその母関数を代数的消去を通じて計算する) cf. オートマトン理論再考 3.2章 https://t.co/5WHN1lbyYY https://t.co/qlK3qMqjSY

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

オ，オートマトン理論再考が5ヶ月連続アクセスランキング第一位だ...

25 0 0 0 OA 不完全性定理をよりどころにした人工知能の発展可能性に関する考察

不完全性定理によってシンギュラリティが来ないことを証明するという主張を見つけてしまったので、みなさんで熟読しておいてください。私は読みませんが…… https://t.co/az2G9ppMat

65 0 0 0 OA ソーシャルポルノ仮説の提案とその観測に向けて

ソーシャルポルノ="特定のコミュニティに属するユーザが、脊髄反射的に拡散・共有してしまいたくなる情報"という便利概念を知った https://t.co/2YDOHDqZxA

72 0 0 0 OA 0の段のかけ算の学習援助 -授業内容の構想とその効果-

#超算数 ０の段のかけ算の学習援助 －授業内容の構想とその効果－ https://t.co/8BVCRQP6U6 という文献が凄い。 4年生に洗脳指導 大学生にまで正しい順序ｗを求めている 順序指導を正当化する根拠が、ある文献に小学2年に対してありうる指導法とあったから 等々てんこ盛り。 https://t.co/Pq77l4FUJ8 https://t.co/p9aKuQz1U2

28 0 0 0 OA 島のこと

おぉ，JSTAGE/Computer Softwareで湯淺先生の屋久島生活の記事が読める． 「島のこと」湯淺 太一 https://t.co/cWHOPQEPd8 https://t.co/pVMDctHIjT

12 0 0 0 ゲームシナリオのモデル検査

「ゲームシナリオのモデル検査」 https://t.co/InJ0QBUi7l #ML_Day

2 0 0 0 OA FoSSaCS 2017参加報告

JSTAGEにて "FoSSaCS 2017 参加報告" が公開されました．オンラインで読めます． 昨年の4月に行われた FoSSaCS に参加してきたのですが，その報告記(論文紹介含む)になります．どうぞご笑覧ください． https://t.co/zlwLTO1yqm https://t.co/6RV63yylOC

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

だから「オートマトン理論再考」もよろしく

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

各 n について n 文字の受理語の数が等しい2つの正規言語が与えられたとき、なんと文字から文字への関数型トランスデューサーを用いて、なんと2つの正規言語の間の全単射を作ることができる。有限状態のみで一方の言語から他方の言語へ逐次変換できるのである。 https://t.co/peNtj1Gi8e https://t.co/ioUAIlYD5s

12 0 0 0 OA λμ計算のモデルについて

λμ計算のモデルについて https://t.co/9iRTlO3gEc

458 0 0 0 OA 帝国大学入学案内

平成になってからも東大文学部のインド哲学科って学生受けが悪く不遇なんですけれども、昭和16年度の『帝国大学入学案内』p.14 https://t.co/jvKurlkrSH にも、「不遇の学科は印哲である」って書いてありました。 https://t.co/MfkOsWSMp4

5 0 0 0 OA 公教聖歌集

終世童貞 https://t.co/K4mdRJSvVM https://t.co/hUzSnQkoZ1

5 0 0 0 Coq上でのMonadic Total Parser Combinatorの実装

@fetburner Coqでparsecみたいなのを実装したやつとかも https://t.co/v5NKV0EENK

18 0 0 0 TV番組のネタばらしを非表示にするTwitterクライアントの提案

CiNii 論文 -  TV番組のネタばらしを非表示にするTwitterクライアントの提案 https://t.co/24tRNnmTuP #CiNii

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

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

20 0 0 0 OA かてもの

食べられる雑草の最高峰「スベリヒユ」 http://t.co/He50gGyYJO 最近偶然『かて物』 http://t.co/9PQIoXo8rq を眺めていて「すめりひやう すべりひゆとも云 ゆびき食ふ 又かて物とす 但わらび粉と食あわせべからず」とあったのを思い出した

491 0 0 0 電子励起を用いた原子分子操作

うーん、さらにρ眼が進んで電子励起が電子勃起に見えてしまう…。ゴシゴシ、ゴシゴシ。ゴシゴシゴシ。あれ？ https://t.co/ZdzkRKtMSX 電子勃起を用いた原子分子操作

6 0 0 0 IR お遍路における巡回セールスマン問題

CiNii 論文 -  お遍路における巡回セールスマン問題 http://t.co/oVQdaNuboH #CiNii

49 0 0 0 IR 子ども向け伝記『軍神西住戦車長』論--軍神の形成と作品の特徴

ところで今日、CiNiiで調べ事してたら、こんなの発見して危うく公衆の前で吹き出す所だった　→　　CiNii 論文 -  子ども向け伝記『軍神西住戦車長』論--軍神の形成と作品の特徴 http://t.co/vob1QteWEg #CiNii

2 0 0 0 グラフ理論、離散数学のスケジューリング問題への応用

本研究では、実用的な問題である「スケジューリング」問題を、離散数学、グラフ理論の視点から解析する。具体的には、日本プロ野球のスケジューリングを、グラフ理論分野の最短パス問題に置き換えて、最適なスケジュールを提供することを目標とする。 http://t.co/jvbPLGTCLG

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

Ohori先生だ | LR構文解析の原理 https://t.co/ArYTIz4N0J

16 0 0 0 OA 表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装

"表示的意味論に基づくパターンマッチング　コンパイル方式の構築と実装" / “_pdf” http://t.co/LvnqWTRfPV

フォロー（1317ユーザ）の投稿一覧（直近7日間）

フォロワー（1809ユーザ）の投稿一覧（直近7日間）