Miura Hideki (@miura1729)

投稿一覧(最新100件)

RT @sinya8282: @miura1729 形式言語に対する(有限加法的)測度論的アプローチ,日本語の読みやすい神文献があるのでぜひ! 基本は文字列の話なので情報系の人も馴染みやすいと思います〜 https://t.co/LoR76NoLS1 https://t.co…
RT @ShojiHashimoto3: 日本物理学会誌は宝の山。これを日本語で読めることに感謝。https://t.co/htXmDuPCQM 無限級数 1-1+1-1+1-1+... の答えはどうなるか。場の量子論における量子異常(アノマリー)はこの問題と似ている。超弦理論…
@nimdanaoto @uint256_t Xeon Phiのトポロジー知らなかったのだけど、二次元メッシュなんですね。なぜ?って思ったのですが流石にチップ内にクロスバスイッチは入らないのでしょうかね https://t.co/4Wy8bV6P8i (PDF)
RT @t_kawase: 松山陽平先生による書評。まさに「一刀両断」。僕も一応読んだけど、イスラーム神学に詳しくなくても「こんな“野蛮”な解釈で、千年以上続いてきた訳ねえだろ」と感覚的に思った。あの本を褒めていた人は反省するべき。/J-STAGE Articles - 飯山陽…
気になって調べてみました。直接マシン語を扱う情報は無かったのですが、AI-1000の使用レポートの論文があって、シンボル一覧がありました。implodeというシンボルが怪しそうです。 https://t.co/VF8cfqFH64 (PDF) https://t.co/79eEI5DLKC
RT @naota344: “JAIST Repository: TRONプロジェクトの標準化における成功・失敗要因” https://t.co/WRgXifJkD6
RT @alfredplpl: PFNの丸山先生の論文、『人の心に似た機械を設計できるか』という挑発的なタイトルで、かつ、出だしもかっこよい https://t.co/e3cWdg5pC5 https://t.co/Mv1XkeqDrK
RT @blackenedgold: 大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk
Open C++を使えば出来そうだけど、実装ってあるのかしらん? https://t.co/ScLLmbxd3p (PDF)

1 0 0 0 OA TUTScheme

https://t.co/NIwSIILwd5 (PDF) おもしれー
名付けられています https://t.co/PigoxXF72p https://t.co/U3CNfaX6Cl
RT @yuunya: @miura1729 大蔵省自体に大量の書類を残していたはずだから、記録にあるはずだと思って調べたらありました。 https://t.co/LMFhgceic0
RT @kazuho: @miura1729 @tomooda というより、このWikipediaの記事が、競合である東京ディズニーリゾート関係者の主張をベースに組み立てられているという点に注意が必要だと思います cf. https://t.co/nJNK9VlqfB
RT @wtakuo: @miura1729 あと、だいぶ古い解説記事ですが。 https://t.co/SCHc92JfAb
ようやくABCL/R3の日本語の論文をみつけた https://t.co/OtZvQ0TpeY
よかった日本語でABCL/R3の論文があったって思ってアクセスしたら、アブストラクトだけ日本語で本文は思いっきり英語だった悲しみ https://t.co/4iGzexlj6G
言語実装アドベントカレンダ用に読み始めた。なんて言うかむちゃくちゃ面白い https://t.co/JGru2hm1xQ
https://t.co/OEpKqn8Kjd 何が私を不良にしたか 国会図書館のサイトで読める!
RT @akinori_ito: なんとなく検索してたら変な論文を引いた / 荘内に於て得たる魔除厭勝の材料 https://t.co/N9KYIoDK4q
RT @clane_2015: 超すんごい資料見つけた!!昭和21年から22年にアメリカ人モージャー氏によって撮影された、後藤鍬五郎作の聚楽園の大仏、弘法大師、仁王像を写したカラー写真。長浦海岸にあったタコの写真まである!! https://t.co/uAgLFZ4ToR ht…
RT @tmaehara: 松尾さんについては、この名文を読めば十分 https://t.co/DsptJSWAxC
RT @__tai2__: 法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU
ふと、GWMのG言語ってどんなだったかと思ってググったら論文出てきた。https://t.co/0gAopJVVux (PDF) X-Windowではなくこれが天下取ればよかったのに。セキュリティがすげー大変だけど
RT @nfunato: @miura1729 "未踏ソフトウェア創造事業-組織力から個人の才能へ", IPSJ Vol.43 No.12 (2002) を覚えてます。中で名前が挙がっている人やこの著者に限らず、省の背中を押す努力をした人が沢山いるとの認識。 https://t…
RT @shigeyuki_hirai: これイ棋士とAlpha Goの対戦の前に書いてて、対戦結果出ちゃったし、すごいタイムリーな解説になってるのか! 「ディープラーニングを用いたコンピュータ囲碁〜 Alpha Go の技術と展望〜」 https://t.co/9U8pX…
@c_nyan たとえばHPC Rubyでは部分計算を使っていますね。 https://t.co/doaVN0ZE4x あと、並列オブジェクト指向言語ABCL/R3でリフレクティブタワーを圧縮するために部分計算を用いる研究もあります https://t.co/0plGz2VI8e
@c_nyan たとえばHPC Rubyでは部分計算を使っていますね。 https://t.co/doaVN0ZE4x あと、並列オブジェクト指向言語ABCL/R3でリフレクティブタワーを圧縮するために部分計算を用いる研究もあります https://t.co/0plGz2VI8e
RT @akinori_ito: 動的言語が動くハードウェアっていうとこういうやつ? https://t.co/AqPrPsREb6
HPC Rubyってオブジェクトの生成を軽くするように色々やっていた気がするな。せっかくすごい処理系なのに今はあまり表に出ていないのがもったいないな https://t.co/doaVN0ZE4x
RT @yryrrrrryryr: 「アタック25の最適戦略」という、解答が分かってもあえて答えない方が良い(どのパネルを取っても期待値が下がる)局面について検討している論文が興味深い。例えば1問目にパネルとった人は、2問目にはあえて答えない方が良いらしい https://t.…
この手の問題だと、竹内郁雄さんがいい論文書いていたなと思って検索したら、考えていたのと違う(私はWOOCで発表した奴を想定)けどもっといい論文が出てきた http://t.co/aGckv0jytk (PDF)
RT @syoyo: Super cool! > FMA を利用した行列積の高精度演算 https://t.co/Z7r8kI07sR
RT @ronbuntter: こんな論文どうですか? ドラマ「あまちゃん」研究序説 : なぜ視聴者に支持されたのか(碓井 広義),2014 http://t.co/7YgBJ3YeYm
@yukihiro_matz この方ですね。http://t.co/ldymg70wj0 何かで発表する告知を見た記憶があります。確かに居らっしゃいますね。
RT @abee2: @miura1729 @wtakuo Interlisp-DとSmalltalk-80の多言語化の話は、この辺りに。80年代後半には普通に使っていました。 http://t.co/wdnckTF8f4
@syuu1228 おそらくこれが一番詳しい情報ではないかなと思います。 https://t.co/3ljkztmtbD
統計学の授業でこれの統計上の誤りをテストにするとどうだろう?それにしても、仕事率って言葉を再定義するのはひどい 「高校野球指導における丸刈りが選手の心理および打撃成績に及ぼす影響」http://t.co/XSykyVbQ  
男子中学生に対する「丸刈り」指導の効果に関する研究 : 都道府県別「丸刈り強制率」と各種指標との関連  http://t.co/au04qQa0 いろいろ興味深い
@frsyuki ビンパッキング問題っぽいと思ったので、ぐぐったらよさげな論文がありました。頓珍漢だったらすみません。 http://t.co/0Fu6pkSl
RT @dico_leque: ふと『ALGOL N の開発』 http://t.co/dknE9AdX を眺めていて「また、プログラム、データなど、いくつかの述語は、算譜、算料等と現代風に書き改めた」とあって数度読み直した。 1984 年
Tachyon Common Lispの実現方式 https://t.co/mlnijvGM
RT @masui: これはすごい論文! http://ci.nii.ac.jp/naid/110000038112

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

@miura1729 形式言語に対する(有限加法的)測度論的アプローチ,日本語の読みやすい神文献があるのでぜひ! 基本は文字列の話なので情報系の人も馴染みやすいと思います〜 https://t.co/LoR76NoLS1 https://t.co/yagguRJHLB
@miura1729 真面目に真面目に研究した人達がいます ・本来両手動作である作業活動を片手で行った時の 利き手・非利き手の動作特性の検討 ○本多 ふく代(東北文化学園大学医療福祉学部) https://t.co/KOiJ9DzfwQ
@miura1729 再帰しても使用メモリ量が静的に確定できる(組込みシステム用関数リアクティブプログラミング言語用の)型システムならこちら https://t.co/HAAlMUwb0f
@miura1729 広範に書いてありますが数学の道具は押さえてある文献です。文献9にbdd,ほかにmso,μ計算など。ただgithubにコードはなさそうでもし探すならbddの実装やμ計算の実装を探すと言語は何かわかりませんがありそうな気がします https://t.co/T2gJ2ReLee
@miura1729 軽くググったけど、場合によっては殺人罪が成立するっぽい。 https://t.co/lYQvAdJVEP
@miura1729 授業でふんわり聞いたことしかなかったのでググって読んでみてたんですがなるほど分からん状態でした。 https://t.co/IMcZ25Uuvz
今の技術だと、AMラジオの周波数だとDSPで処理できてしまうんだよなあ…ミリ波帯がアマチュア無線とか軍用レーダだけに使われていた時代から、思えば遠くに来たもんだ。 (2013年の記事 https://t.co/tqH4s3qbZv によれば、DSPで30MHzくらいまでは処理できるらしいので、AMラジオの周波数だと余裕) https://t.co/r8OKHtkbWj
@miura1729 大蔵省自体に大量の書類を残していたはずだから、記録にあるはずだと思って調べたらありました。 https://t.co/LMFhgceic0

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

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