sinya8282 (Twitter) - ユーザ詳細

Ryoma Sin'ya (@sinya8282)

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

投稿一覧（最新100件）

7 0 0 0 OA 部分語の出現情報の検査のみで近似できる正規言語について

@miura1729 形式言語に対する（有限加法的）測度論的アプローチ，日本語の読みやすい神文献があるのでぜひ！基本は文字列の話なので情報系の人も馴染みやすいと思います〜 https://t.co/LoR76NoLS1 https://t.co/yagguRJHLB

19 0 0 0 ポピュラー音楽の模倣歌唱における歌唱テクニック分析と楽譜情報との対応付け

RT @IPSJ_official: #IPSJ論文誌 Vol.64, No.10 『ポピュラー音楽の模倣歌唱における歌唱テクニック分析と楽譜情報との対応付け』 J-POPのプロ歌手の歌い方を別のプロ歌手が学術目的で模倣した歌声データベース(⁉️)を基に、歌唱テクニックと楽…

1 0 0 0 OA 積分表現ニューラルネットとリッジレット変換

「積分表現ニューラルネットとリッジレット変換」 https://t.co/Uq94cbXtzc

1 0 0 0 OA 制約依存文法とその弱生成力

「制約依存文法とその弱生成力」 https://t.co/k1gbD047tc

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

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

8 0 0 0 OA クープマン作用素による非線形ダイナミクスの解析

「クープマン作用素による非線形ダイナミクスの解析」 https://t.co/DV7NAVzJOU

7 0 0 0 OA 部分語の出現情報の検査のみで近似できる正規言語について

こちらの論文「部分語の出現情報の検査のみで近似できる正規言語について」が jstage 上で無料で読めるようになりました〜

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

故あって「オートマトン理論再考」という神サーベイ論文を読んでたんだけど，そこで紹介されている３つの未解決問題の中でこれは近いうちに解かれるべきな気がする（気がしてるだけ） https://t.co/5WHN1kUvWY https://t.co/p6EliYOA9u

33 0 0 0 OA 許容される二次投稿

RT @ceekz: 最近、言語処理学会「原稿執筆案内」の「二重投稿に対する考え方」が改訂されまして（様々な明文化をしたけど実質は今まで通り）、その背景などの解説です。二次投稿・二重投稿には研究倫理と著作権の問題が混在しているのを整理しています。 / 許容される二次投稿 htt…

91 0 0 0 OA ゼータ函数の育成について

RT @On_Absolute: 今日のような蒸暑い日には，“動物や植物” を “育成” でもするかのような話がよいであろう． ── アンドレ・ヴェイユ『ゼータ函数の育成について』 https://t.co/va5FE3To0t

11 0 0 0 OA 「訓練事例の影響の軽量な推定」の執筆

RT @sosk_sosk: 言語処理学会論文誌で賞をいただいた論文の馴れ初めを寄稿しました。「汎用言語理解」「研究の研究」「文の総称性」など寄り道の旅路を書きました。記事: https://t.co/FHBOEDcMq2 論文: https://t.co/7J5tHWqy8x

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

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

3 0 0 0 IR 大学教員間の「さん」と「先生」の呼称選択に影響する諸要因 (大学院論集)

「大学教員間の「さん」と「先生」の呼称選択に影響する諸要因 (大学院論集) [in Japanese]」 https://t.co/0oxakVpTab

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

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

1 0 0 0 OA FOSEとPPLの違い

「FOSEとPPLの違い」 https://t.co/JNzExdUEk3

12 0 0 0 OA クリーニ代数入門

Kleene Algebra with Tests の日本語解説は古澤先生のチュートリアル記事をどうぞ． Whileプログラムのループ単一化の形式検証の応用とかも載っています． https://t.co/CNAYw1jBzS

1 0 0 0 チェビシェフ級数展開と加速法による半無限振動積分

「チェビシェフ級数展開と加速法による半無限振動積分」めちゃくちゃタイトルがかっこいい文献見つけた． https://t.co/BVwropfN5L

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

気になる方は「オートマトン理論再考」読んでくだされ． #正規vs正則vs有理 #文脈自由vs代数的 https://t.co/5WHN1lbyYY https://t.co/EoSC6FZYvi

234 0 0 0 OA 物理学,物理学者と社会

RT @rmaruy: 内村直之「この30年間に日本関連の自然科学系ノーベル賞受賞者は 18人になるが，そのタネはいずれも個人の興味から出てきたもので，国家に導かれてはいない．どうすれば個々の研究者が自分のタネを育てられるようにするか，研究システムの是非をもっと議論すべきだろう…

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

このサーベイ書いた人，めちゃくちゃインテリで知的な人なんだろうなきっと． https://t.co/5WHN1lbyYY

1 0 0 0 準有限確定事象とオートマトン

調べてみると definite automaton での文脈でdefiniteを「有限確定」と訳している和文献が１つヒットした．いいじゃん．これで訳そう． https://t.co/w5KLhy9Blz

3 0 0 0 OA 記号力学系とC*-環

「記号力学系とC^*環」 https://t.co/clc7V8X47E

1675 0 0 0 OA 飲酒による認知機能への影響を活用する発散的思考技法の検討

https://t.co/BTsHkmKG8w "本研究では，飲酒の効果を活用することによって，質の高い情報を提示する手段を提案する．3.2 節で示すように，適度な飲酒には，創造性を高める効果があることが知られている．"

6 0 0 0 OA 属性文法

RT @KazutakaMatsuda: 型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https:…

9 0 0 0 OA 明治時代に開発された我が国最初の計算機「自働算盤」

「明治時代に開発された我が国最初の計算機『自動算盤』」 https://t.co/EocGxSFjJO

16 0 0 0 OA 東京大学におけるオンライン授業の始まりと展望

「東京大学におけるオンライン授業の始まりと展望」 https://t.co/OyTd7m1y0y

1 0 0 0 OA 海外でのポスドク研究員のススメ

「海外でのポスドク研究員のススメ」 https://t.co/hu9L601ZIz

1 0 0 0 OA 非加法的測度(Non-additive Measure)

非加法的測度（Non－additive Measure） https://t.co/TtCqyl5PXR

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

「オートマトン理論再考」 https://t.co/5WHN1lbyYY https://t.co/IMC1IbB2vw

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

特にXX界隈に対抗して，とかではないけど，形式言語・オートマトン理論について自分が勉強して面白いと思ったことや纏めておきたいと思ったことは積極的にスライド https://t.co/0xgMC5bTWu や解説論文 https://t.co/5WHN1lbyYY にして公開するように努めてました(マイナーな分野なので周知は大事)．

3 0 0 0 OA 物理学と超準解析 : 量子論と古典論の統一

「物理学と超準解析 : 量子論と古典論の統一」 https://t.co/BqYe31OfFz

3 0 0 0 OA 反事実条件文推論の動態論理による形式化

反事実条件文推論の動態論理による形式化 https://t.co/EbWkj6l8RO

6 0 0 0 OA Re: 秋田での新米教員生活

叢さんの記事もどうぞ。新米教員は新体験&驚きの連続です。「Re: 秋田での新米教員生活」 https://t.co/Twd4RaUijU

5 0 0 0 OA 様相論理の文脈意味論

整列問題の平均比較回数 https://t.co/sj71XCFwa2

5 0 0 0 OA 様相論理の文脈意味論

様相論理の文脈意味論 https://t.co/uIovUrEsr5

5 0 0 0 OA 言語構造への数学的アプローチ

「言語構造への数学的アプローチ　treeの概念を中心にして」 https://t.co/hiZonieZho おお，高橋正子先生の記事が．

14 0 0 0 OA 純粋数学としての組合せ論 ——代数的組合せ論のめざすもの——

『純粋数学としての組合せ論 ——代数的組合せ論のめざすもの——』 https://t.co/DevB05FJ6g

3 0 0 0 OA 群の不変順序と位相幾何学

論説「群の不変順序と位相幾何学」 https://t.co/kg93LD3aVi

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

K<A>, K^Q, K<<A>> 間を準同型でチャキチャキやっていくの好き． https://t.co/5WHN1lbyYY https://t.co/6f8epWOMwf

1 0 0 0 Bulletin of the European Association for Theoretical Computer Science

Bulletin EATCS、1980のやつは京大にはあるらしい．さすが京大(だが遠い...)．電通大もさすが(1987以降はある)． https://t.co/tQBhUpOKSx https://t.co/MyPiG7tOrx

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

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

10 0 0 0 OA 秋田での新米教員生活

RT @_yyu_: すごい……教員っぽい（失礼） “秋田での新米教員生活” https://t.co/PE6FTzhq4k

10 0 0 0 OA 秋田での新米教員生活

RT @sinya8282: 「秋田での新米教員生活」 https://t.co/5Hac4DKlP8 コンピュータソフトウェアに投稿したコラムがJ-STAGEで公開されました．2017年11月から秋田大に着任してからの体験談を綴ったコラムになります． https://t.c…

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

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

6 0 0 0 OA Re: 秋田での新米教員生活

「物語はくりかえす」 https://t.co/Twd4RaUijU 円環の理...

6 0 0 0 OA Re: 秋田での新米教員生活

「Re: 秋田での新米教員生活」 https://t.co/Twd4RaUijU えっ前回の私の拙いコラムに叢さんから返信していただいてる体裁になってる！(今知った！)

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

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

1 0 0 0 OA 原始語の集合と文脈自由言語について

この辺の話な(まじ難しい...) 「原始語の集合と文脈自由言語について」 https://t.co/XO3VdmzMq3 https://t.co/75J2gojiOX

10 0 0 0 OA 秋田での新米教員生活

「秋田での新米教員生活」 https://t.co/5Hac4DKlP8 コンピュータソフトウェアに投稿したコラムがJ-STAGEで公開されました．2017年11月から秋田大に着任してからの体験談を綴ったコラムになります． https://t.co/h4uNlVPxuQ

1 0 0 0 OA 計算毒性学の基礎と毒性予測の現状

計算毒性学の基礎と毒性予測の現状 https://t.co/YK5hggaQ8T

3 0 0 0 OA 化学構造式のためのハイパーグラフ文法

「化学構造式のためのハイパーグラフ文法」 https://t.co/N5RvuU2vfs

1 0 0 0 OA 3人の賢者の問題 ―― 愚者は賢者をシミュレートできるか?

3人の賢者の問題 ―― 愚者は賢者をシミュレートできるか？ https://t.co/Tm3o7nJdWp

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

その言語Lが正則と仮定すると h(a) = a, h(b) = a の像h(L) = L'も正則(オートマトンのラベルをhで写せば良い)で，一方L' は測度0(明らか)だが{a}^*上に禁句が無い(明らか)ので零壱定理(cf. https://t.co/5WHN1lbyYY の5節)より非正則，とか． #使おう零壱定理 https://t.co/1qUvWmzHTn

1 0 0 0 OA On Derivation Trees of Indexed Grammars —An Extension of the uvwxy-Theorem—

構文木の分解に最近ハマってるし Hayashi の Indexed grammar の論文読むか． On Derivation Trees of Indexed Grammars https://t.co/YAMTp4W9Jm

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

@zebra_HK こちらこそ興味持ってもらえて嬉しいです。拙著サーベイの5節にも多様体理論のさわりが説明されててるのでこちらも参考までに

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

基礎論サマースクールで .@yasuda_614_set 君にオートマトン理論再考を駒場で口コミで広めてもらうようお願いした． https://t.co/5WHN1lbyYY

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

@N_Y_Big_Apple オートマトン理論やりましょう！！！ https://t.co/5WHN1lbyYY https://t.co/Oxb6YMnLxL

4 0 0 0 OA 形式主義の立場から I

RT @georg_logic: 竹内は色々書いているんだけど，初期のこれは印象に残る．「決して，文字通りの意味の`無矛盾性'を問題にしている訳ではない．`集合概念'の解明こそ形式主義の総てであると私は思う」（「形式主義の立場から I」，『化学基礎論研究』，1956年．htt…

158 0 0 0 OA 学歴・収入・容姿が成婚と配偶者選択行動に与える影響: 結婚相談サービスに内包されたメカニズム

お，JSTAGE上で公開されてるのでオンラインでオープンに読めるようです．「学歴・収入・容姿が成婚と配偶者選択行動に与える影響：結婚相談サービスに内包されたメカニズム」 https://t.co/UwrFLeol9P

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

“オートマトン理論はコンピュータサイエンス(CS)の基礎づけに大いに貢献しており，その意味でCSにおける線形代数と言っても過言ではないのかもしれない．実はこれは単なる比喩的な標語ではなく，技術的に，オートマトン理論と線形代数を強く結びつけることができる．” https://t.co/YTHDDa010k

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

Hilbertの第2問題に関する証明論の展開 https://t.co/W6cdu9do3b

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

オートマトン理論再考，しばらくランキングチェックしてなかったんだけどまた盛り返してた(3月の1位)

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

RT @sinya8282: 『（情報系）博士課程進学とその先』 https://t.co/8ZvVtcTexR

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

『（情報系）博士課程進学とその先』 https://t.co/8ZvVtcTexR

1 0 0 0 Journal of automata, languages and combinatorics

JALCは京大にはあるのか... https://t.co/rk0UEtG0ga

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

あ，support で良いのか．オートマトン理論再考でも書いてたやそういえば． https://t.co/5WHN1lbyYY https://t.co/QWV62vQhzU

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

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

2 0 0 0 OA FoSSaCS 2017参加報告

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

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 坪井先生の書評あったのか．

1 0 0 0 OA 統語的曖昧文の処理におけるカンマの音韻的役割

「統語的曖昧文の処理におけるカンマの音韻的役割」 https://t.co/nfZJRzt5e3 へぇ〜． Implicit Prosody Hypothesis ． https://t.co/Swpc88Ak54

1 0 0 0 OA 木接合言語のクラスの特徴付けについて

木接合言語のクラスの特徴付けについて https://t.co/q1OcZsp1Ix

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

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

4 0 0 0 IR 計算の複雑さと力学系 (複雑系(5))

RT @Fukuso_Sutaro: @ipusiron8128 あんまり関係ないかもしれないけど2SAT(P問題)と3SAT(NP問題)をk次元単位区間にplotしていくと前者は自己相似、後者は部分自己相似が現れる(からこれがPとNPの幾何学的特徴づけなのでは？)という研究が…

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

@ipusiron8128 すみません興味本位でfavってみました笑僕自身は形式言語・オートマトン理論やってる(cf. https://t.co/5WHN1lbyYY )CSの人で、趣味で有限モデル理論とか勉強しててなりゆきで基礎論若手の会の世話人をしたりしてます〜

9 0 0 0 OA 量子論理は論理か

「量子論理は論理か」 https://t.co/IG2q9o6fjR

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

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

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

オートマトン理論の福音を伝道していきたい。 https://t.co/YTHDDa010k

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

1 0 0 0 OA Mahler関数と超越数

『Mahler関数と超越数』 https://t.co/hfId2IJKgV

3 0 0 0 OA 暗号におけるゲーム理論

ランキング眺めて気づいたけど「暗号におけるゲーム理論」は面白そうだな． https://t.co/UzWWEScZW0 湯淺先生の記事が4位になってるのも面白い． https://t.co/cWHOPQEPd8

28 0 0 0 OA 島のこと

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

1 0 0 0 OA きまりの読み方

「きまりの読み方」千葉滋 https://t.co/FrJV1pF8x5 コンピュータソフトウェア誌の論文投稿規定の改定について．英語では「multiple submission」「multiple publication」はそれぞれ意味が微妙に違っていて，一方の日本語では「二重投稿」という言葉しか無い感じでややゆらぎがあるのか．へぇ．

2 0 0 0 OA FoSSaCS 2017参加報告

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

1 0 0 0 FoSSaCS 2017 参加報告

昨年末にコンピュータソフトウェアに寄稿した「FoSSaCS 2017 参加報告」はどうやらまだJSTAGEで読めないようだ． CiNiiには上がってるし紙媒体では出版されてるはずなんだけど…. https://t.co/TPRlrm5CtL

59 0 0 0 OA LaTeXと学会誌制作の思い出

『LaTeXと学会誌制作の思い出』 https://t.co/G3e0dZR7Uh LaTeXが日本で広まり始めた時代の話題が載ってて面白い．

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

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

4 0 0 0 OA フッサール初期の「哲学的―数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学

RT @georg_logic: @yf0fyf ヒルベルト学派との交流は知られていて，岡田先生の論文があります．https://t.co/oTeculLTjV

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

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

9 0 0 0 数学100の慣用語 : 数学地方のおもしろ方言

RT @iwaokimura: 昔の数セミの増刊で「明らかに自明なトリビアル」という項目が立っていた号があった記憶が．これかなぁ→ | CiNii 図書 - 数学100の慣用語 : 数学地方のおもしろ方言 https://t.co/QdG7tf34zE #CiNii

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

無限の猿定理の詳細(?)は『オートマトン理論再考』をどうぞ． https://t.co/5WHN1lbyYY

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

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

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

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

26 0 0 0 OA ラムダ計算の型問題について

ラムダ計算の型問題について —数学基礎論からプログラミング言語の構造へ— https://t.co/OS1rGhnzhm 藤田先生の記事だ．

9 0 0 0 OA Club guessing sequenceについて

RT @kururu_goedel: 昔『数学』に書いたサーベイに、特異基数のべきのことも少し書いてあります。なんか日本数学会から無料公開されています。知らんかった。https://t.co/xTM07TbqJl から行けます。

9 0 0 0 OA 数学基礎論の伝統と新しい手法 : 逆数学

「数学基礎論の伝統と新しい手法: 逆数学」--- 田中一之 https://t.co/C4sEJpXjJv

3 0 0 0 OA 正規言語の零壱則

cf. 正規言語の零壱則 https://t.co/kLD2Z50H7m

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

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

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

最後の予想大分ほったらかしにしていたけどなんか今見ると解けそうだな．(n度目『言語の測度に基づく非正規性の証明技法』 https://t.co/zO8DfABgvL

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

19 0 0 0 ポピュラー音楽の模倣歌唱における歌唱テクニック分析と楽譜情報との対応付け

#IPSJ論文誌 Vol.64, No.10 『ポピュラー音楽の模倣歌唱における歌唱テクニック分析と楽譜情報との対応付け』 J-POPのプロ歌手の歌い方を別のプロ歌手が学術目的で模倣した歌声データベース(⁉️)を基に、歌唱テクニックと楽譜情報の関係を分析✍️ https://t.co/PJwkx9YqXN

4 0 0 0 OA 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト

60 0 0 0 OA 講義ノートの権利

アメリカでは講義ノートは大学の著作物ではないという判例があるらしい https://t.co/n3FUrG2f57

157 0 0 0 OA 物理学にも思想があることを理解させる

江沢洋「物理学にも思想があることを理解させる」（1970） https://t.co/mqgVCmOiPR 「物理は思想なしで営むことのできる業と信じている人は多い」が、物理学のどの断片も思想なしには語れないという。

13 0 0 0 Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法

情報学広場にもすでに論文がアップロードされてますね．左側の局面の△３九馬に対して，右側のような情報が提示できるような手法になっています． https://t.co/9Mpoi9F84K https://t.co/0wjLrgCI1P https://t.co/tBbD6lhJcn

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

線形表現って書いてあったオートマトン理論再考 https://t.co/ehzOfLAZva

33 0 0 0 OA 許容される二次投稿

最近、言語処理学会「原稿執筆案内」の「二重投稿に対する考え方」が改訂されまして（様々な明文化をしたけど実質は今まで通り）、その背景などの解説です。二次投稿・二重投稿には研究倫理と著作権の問題が混在しているのを整理しています。 / 許容される二次投稿 https://t.co/f3zTRC5JWU

12 0 0 0 OA 学生フォーラム〔第113 回〕谷中瞳先生インタビュー「人間のように言語の意味を理解する言語処理技術を目指して」

人工知能学会誌でインタビューして頂きました。人工知能37巻5号学生フォーラム第113回谷中瞳先生インタビュー「人間のように言語の意味を理解する言語処理技術を目指して」https://t.co/ymAOBuHtvt 研究内容、女性・社会人の博士進学、エンジニアのマネジメントと研究室運営の関連など語ってます。ぜひ

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

おもしろい J-STAGE Articles - オートマトン理論再考 https://t.co/gEXGmEmHjM

35 0 0 0 OA 代数体と函数体とのある類似について

岩澤理論は，岩澤健吉さんの「代数体と，有限体上の一変数関数体は，どこまでも似ていると信じてよい」というロマンから生じたという色彩の強さで際立っている．このロマンは，論説として述べられており，数学界に大きな影響に与えた．（加藤和也） https://t.co/CgWDof15UQ

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

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

91 0 0 0 OA ゼータ函数の育成について

今日のような蒸暑い日には，“動物や植物” を “育成” でもするかのような話がよいであろう． ── アンドレ・ヴェイユ『ゼータ函数の育成について』 https://t.co/va5FE3To0t

11 0 0 0 OA 「訓練事例の影響の軽量な推定」の執筆

言語処理学会論文誌で賞をいただいた論文の馴れ初めを寄稿しました。「汎用言語理解」「研究の研究」「文の総称性」など寄り道の旅路を書きました。記事: https://t.co/FHBOEDcMq2 論文: https://t.co/7J5tHWqy8x

143 0 0 0 OA 制御工学者のための強化学習入門

京大加嶋先生et al.のこの強化学習の解説はすばらしい。 https://t.co/jXLQHjFIKh 既存の強化学習の解説の大半は、たぶんゲームとかの応用が頭に入っている人はいいのかもしれないけど、ゲーマーじゃないおれには理解不能だった。こういう風にズバっと問題設定を言ってほしかった。さすが。

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

おや？ J-STAGE Articles - 形式言語理論：非可換と可換のあいだ https://t.co/QWAuIgidtp

3 0 0 0 OA なぜサヴェジ氏か?

「"尤度原理" filetype:pdf」で検索して出てくる 1つ目 https://t.co/GZrqYkkp1b は尤度原理を紹介するっていいながら紹介してない，2つ目 https://t.co/zVKl1CT8DR は 404, 3つ目 https://t.co/FkAQalNKcL はキーワードだけ，4つ目https://t.co/6lNIrYu3F7 はノーコメント

96 0 0 0 OA 技術から生まれた数学数学的対象発生の歴史的研究と現象学的分析

「技術から生まれた数学　数学的対象発生の歴史的研究と現象学的分析」鈴木俊洋何度読んでもよい論文だと思う「こういうことが数学と技術に関連する研究者の共通の認識となればよいのに」と新年に思う https://t.co/TFHHUQWLXw

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

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

9 0 0 0 レーシングゲーム実況生成

産総研チームの最近の研究「レーシングゲーム実況生成」がNL研の優秀研究賞に選ばれました．ご審査の方，本日議論に参加していただいた方ありがとうございました．ご興味がありましたらNL研/INLG論文を手に取って頂けたら嬉しいです

13 0 0 0 OA 科学論文における「不適切なオーサーシップ」調査に関する比較研究

「不適切なオーサーシップ (improper authorship / inappropriate authorship)」とよばれる "研究不正" なんですけど、日本だと明記が遅れてるんですよね。cf: https://t.co/qOVZLUsfYL https://t.co/MoWllKiNIi

611 0 0 0 OA 編物図案集

大正時代のピクセルフォント。漢字のくずしも、筆脈を意識した丁寧なピクセル化で美しい...。木村淡香『編物図案集』（1913年） https://t.co/U2viczpSRv https://t.co/toEg7NwW1H https://t.co/3kuizcLsrp

9 0 0 0 OA Club guessing sequenceについて

なんか昔、『数学』に書いたClub guessingについてのサーベイがフリーでダウンロードできるようになってるな。よろしかったらどうぞ。そんなには古くなってないと思います。 https://t.co/So50PL2xlR

436 0 0 0 OA 私の論文が採録されないのはどう考えても編集委員会が悪い!

「私の論文が採録されないのはどう考えても編集委員会が悪い！」力強いお言葉。1日3回唱えるわ。 https://t.co/552sqSAenJ

282 0 0 0 OA 有機酸配合による惣菜の超高圧処理時の風味変化抑制

有機酸配合による惣菜の超高圧処理時の風味変化抑制　https://t.co/5wii30G6r6　すっぱくないのに，殻を剥いたゆでたまごが常温で腐らない（キューピー）というのも紹介していたが，これをみると，それの合わせ技か

27 0 0 0 OA The Four Qubits Deletion Code is the First Quantum Insertion Code

フォロワーの皆様：研究成果を紹介させて下さい。量子挿入符号を発見しました。世界初です。昨日、無料アーリーアクセスがオープンされました。是非、DL下さい。 The Four Qubits Deletion Code is the First Quantum Insertion Code https://t.co/59DLFYmeK0 注：アーリー版のためタイポ有。

143 0 0 0 ハンマロビクスエクササイズの運動特徴の解明

「室伏広治，科研費を取る」というパワーワード >申請者は、現役時代に腰や股関節などの負傷による困難を打開するため、「ハンマロビクスエクササイズ」を考案し, 負傷部位への過度な負担なくトレーニングの継続が可能となり、38歳でオリンピック銅メダルを獲得できた。 https://t.co/fqVYWXLiKG

24 0 0 0 OA 超準解析とはどういうものか

「超準解析とはどういうものか」など、いくつかの入門的論文が読める。 https://t.co/04hCM2CUGl

234 0 0 0 OA 物理学,物理学者と社会

内村直之「この30年間に日本関連の自然科学系ノーベル賞受賞者は 18人になるが，そのタネはいずれも個人の興味から出てきたもので，国家に導かれてはいない．どうすれば個々の研究者が自分のタネを育てられるようにするか，研究システムの是非をもっと議論すべきだろう」https://t.co/LWhQGYjE46

6 0 0 0 OA 属性文法

型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https://t.co/PWYPyKeQKh

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

オートマトン理論再考、マジで最高なので読もうな(たまに誤植あるけど、文脈から修正は容易) https://t.co/QyClCf6si9

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

なう　ぶらうじんぐ…: オートマトン理論再考: https://t.co/Zw3NB9TU3I

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

オートマトンといえばオートマトン再考 https://t.co/gCYOCD0uAs

13 0 0 0 OA 構成的ガロア逆問題と不変体の有理性問題(第27回整数論サマースクール報告集)

構成的ガロア逆問題と不変体の有理性問題（第27回整数論サマースクール報告集）が新潟大の機関リポジトリで公開された．素晴らしい！ https://t.co/XIyYmLZnCk

30 0 0 0 OA 昭和40年代の小学校算数科における現代化教材に対する再評価の観点

@nloglogn 昭和40年代の小学生だと普通に集合と写像を習ってたりします…

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

これ一人で夜通し読んでるんだけど(研究しろ)，日本語だし，そこまで難しくないし，記述がいい加減じゃないし，綺麗だし，結構面白い．正直舐めてた．(でも，ちょこちょこ誤植はある．) https://t.co/VPDHALFAZX

70 0 0 0 OA 量子論と代数 : 思考と表現の進化論

【こちらもぜひどうぞ】　私の科学観は、『量子論と代数 : 思考と表現の進化論』（数理科学掲載記事）にも色濃く出ていると思います。人間はどうして科学や数学をやるようになったのだろう？と思う人は、読むと考えを刺激されるところがあると思います。 https://t.co/XSAaRXKp3Z

5 0 0 0 OA 『科学基礎論研究』に見られる「形式主義観」(<特集>「数学と論理学の60年」)

ちなみに，こうした竹内の書いたものについては八杉先生の「『科学基礎論研究』に見られる「形式主義観」」（『科学基礎論研究』，2016年，https://t.co/wgcLhTXQrk）も参考になりました．

4 0 0 0 OA 形式主義の立場から I

竹内は色々書いているんだけど，初期のこれは印象に残る．「決して，文字通りの意味の`無矛盾性'を問題にしている訳ではない．`集合概念'の解明こそ形式主義の総てであると私は思う」（「形式主義の立場から I」，『化学基礎論研究』，1956年．https://t.co/6Ard58fOxW）

1 0 0 0 トポロジーの形式化における深層学習の適用の研究

すでに挑戦的研究(開拓)で「トポロジーの形式化における深層学習の適用の研究」が今年から実施されてますね！ https://t.co/OEFBFh3E4k どんな違いが生まれるか面白そう。 https://t.co/vUuXuULykh

4 0 0 0 IR 計算の複雑さと力学系 (複雑系(5))

@ipusiron8128 あんまり関係ないかもしれないけど2SAT(P問題)と3SAT(NP問題)をk次元単位区間にplotしていくと前者は自己相似、後者は部分自己相似が現れる(からこれがPとNPの幾何学的特徴づけなのでは？)という研究がある https://t.co/SDxsIqdCFn

10 0 0 0 OA 多樣体の概念について

多様体の概念について https://t.co/p7XP9xgrM9

31 0 0 0 OA 量子情報の数学的基礎

小澤正直先生が日本数学会賞秋季賞を取られたときに雑誌「数学」に掲載されたサーベイ「量子情報の数学的基礎」 https://t.co/33uNNe69Yy の英語版が出版されていたとは知らなかった。 https://t.co/ntF2AfeeqF

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

長さ n→∞ の語をランダムに取った時に受理される確率を言語の密度という。これは正規言語では有理数、無曖昧文脈自由言語では代数的数となる。延々文字を打てばある語が部分文字列となる確率は1であるという無限の猿定理があるが、正規言語ではある意味でこの逆が成り立つ。 https://t.co/peNtj1Gi8e https://t.co/NLs6I0gN2D

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

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

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

普通のオートマトンの状態遷移は、0/1 の値に and の積と or の和を入れた半環の行列として表現できる。これを拡張し、一般の半環で考えるのが重み付きオートマトンである。各状態にいる/いないではなくどれだけの｢重み｣でいるかが遷移していく。例は重みが自然数の場合。 https://t.co/peNtj1Gi8e https://t.co/i1TbfDa0Dy

4 0 0 0 OA フッサール初期の「哲学的―数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学

@yf0fyf ヒルベルト学派との交流は知られていて，岡田先生の論文があります．https://t.co/oTeculLTjV

9 0 0 0 数学100の慣用語 : 数学地方のおもしろ方言

昔の数セミの増刊で「明らかに自明なトリビアル」という項目が立っていた号があった記憶が．これかなぁ→ | CiNii 図書 - 数学100の慣用語 : 数学地方のおもしろ方言 https://t.co/QdG7tf34zE #CiNii

7 0 0 0 「ござる」の言語学

CiNii 論文 - 「ござる」の言語学 https://t.co/i9WFxDeFGM

9 0 0 0 OA Club guessing sequenceについて

昔『数学』に書いたサーベイに、特異基数のべきのことも少し書いてあります。なんか日本数学会から無料公開されています。知らんかった。https://t.co/xTM07TbqJl から行けます。

10 0 0 0 OA そもそも「ポスドク問題」ってなんだろう?男女共同参画・若手支援シンポジウム報告

記事が出ました．根岸瑠美，大上雅史：そもそも「ポスドク問題」ってなんだろう？男女共同参画・若手支援シンポジウム報告．生物物理 Vol. 56 (2016) No. 2 https://t.co/OBMZLFfrgG

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

.@kmizu O堀先生がアップを始めたようです：https://t.co/FNu8c4INUa

5 0 0 0 103. オートマトンの正規表現とその応用

@sinya8282 1962年に出た文献紹介の文章で「オートマトンの正規表現とその応用」というタイトルが付いたものがあります。 http://t.co/FJqQbnc6tv あと、『岩波数学辞典』の初版が1954年なので、「正規表現」の一番早い訳例が載っているかもしれません。

12 0 0 0 OA SATソルバ・SMTソルバの技術と応用

@zhanpon @pi8027 @sinya8282 釈迦に説法かもしれませんが、SMTソルバーというものも関係してますよ。参考： http://t.co/ovBEnvdT7N https://t.co/PfQRYwStwm http://t.co/OwKHms3WMM

74 0 0 0 OA 博士論文と著作権

博士論文公開に関わる権利上の問題を解説してる。事務に問い合わせれば得られる回答も、この文書に書いてあるとうれしいなぁ。 / 博士論文と著作権 http://t.co/nwowutnqke

1 0 0 0 OA 情報爆縮基盤技術

九大の竹田先生の情報爆縮基盤技術が格好良過ぎた http://t.co/fbaNfijtvu

83 0 0 0 OA インパクトファクターの功罪 : 科学者社会に与えた影響とそこから生まれた歪み

インパクトファクターの意味・効用を勘違いしている人も多いと思いますので、是非、読んでみて下さい。 / インパクトファクターの功罪 : 科学者社会に与えた影響とそこから生まれた歪み http://t.co/sOABnCVuK0