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

Miura Hideki (@miura1729)

投稿一覧（最新100件）

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

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

33 0 0 0 OA 場の理論における量子異常 : アノマリー

RT @ShojiHashimoto3: 日本物理学会誌は宝の山。これを日本語で読めることに感謝。https://t.co/htXmDuPCQM 無限級数 1-1+1-1+1-1+... の答えはどうなるか。場の量子論における量子異常（アノマリー）はこの問題と似ている。超弦理論…

1 0 0 0 OA 「京」の後の時代を支えるスパコン:4.メニーコアアーキテクチャに基づくスーパーコンピュータ

@nimdanaoto @uint256_t Xeon Phiのトポロジー知らなかったのだけど、二次元メッシュなんですね。なぜ?って思ったのですが流石にチップ内にクロスバスイッチは入らないのでしょうかね https://t.co/4Wy8bV6P8i (PDF)

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

RT @t_kawase: 松山陽平先生による書評。まさに「一刀両断」。僕も一応読んだけど、イスラーム神学に詳しくなくても「こんな“野蛮”な解釈で、千年以上続いてきた訳ねえだろ」と感覚的に思った。あの本を褒めていた人は反省するべき。/J-STAGE Articles - 飯山陽…
気になって調べてみました。直接マシン語を扱う情報は無かったのですが、AI-1000の使用レポートの論文があって、シンボル一覧がありました。implodeというシンボルが怪しそうです。 https://t.co/VF8cfqFH64 (PDF) https://t.co/79eEI5DLKC

31 0 0 0 OA TRONプロジェクトの標準化における成功・失敗要因

RT @naota344: “JAIST Repository: TRONプロジェクトの標準化における成功・失敗要因” https://t.co/WRgXifJkD6

50 0 0 0 OA 人の心に似た機械を設計できるか

RT @alfredplpl: PFNの丸山先生の論文、『人の心に似た機械を設計できるか』という挑発的なタイトルで、かつ、出だしもかっこよい https://t.co/e3cWdg5pC5 https://t.co/Mv1XkeqDrK

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

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

1 0 0 0 OA リフレクションの高速化技術

Open C++を使えば出来そうだけど、実装ってあるのかしらん?　https://t.co/ScLLmbxd3p　(PDF)

1 0 0 0 OA TUTScheme

https://t.co/NIwSIILwd5　(PDF)　おもしれー

2 0 0 0 Tachyon Common Lisp : 標準化と拡張性

名付けられています　https://t.co/PigoxXF72p https://t.co/U3CNfaX6Cl

2 0 0 0 金融財政事情

RT @yuunya: @miura1729 大蔵省自体に大量の書類を残していたはずだから、記録にあるはずだと思って調べたらありました。 https://t.co/LMFhgceic0

7 0 0 0 OA 遊園地における虚構性の研究 : 観光社会学からみた奈良ドリームランドの「本物」「ニセモノ」論

RT @kazuho: @miura1729 @tomooda というより、このWikipediaの記事が、競合である東京ディズニーリゾート関係者の主張をベースに組み立てられているという点に注意が必要だと思います cf. https://t.co/nJNK9VlqfB

4 0 0 0 OA リフレクション

RT @wtakuo: @miura1729 あと、だいぶ古い解説記事ですが。 https://t.co/SCHc92JfAb

1 0 0 0 OA 並列自己反映言語システムの部分計算によるコンパイル技法

ようやくABCL/R3の日本語の論文をみつけた　https://t.co/OtZvQ0TpeY
よかった日本語でABCL/R3の論文があったって思ってアクセスしたら、アブストラクトだけ日本語で本文は思いっきり英語だった悲しみ　https://t.co/4iGzexlj6G

4 0 0 0 OA 実行時カーネルのないリフレクティブな並列オブジェクト指向言語の実現方法

言語実装アドベントカレンダ用に読み始めた。なんて言うかむちゃくちゃ面白い　https://t.co/JGru2hm1xQ

3 0 0 0 OA 何が私を不良にしたか?

https://t.co/OEpKqn8Kjd　何が私を不良にしたか　国会図書館のサイトで読める！

4 0 0 0 荘内に於て得たる魔除厭勝の材料

RT @akinori_ito: なんとなく検索してたら変な論文を引いた / 荘内に於て得たる魔除厭勝の材料 https://t.co/N9KYIoDK4q

7597 0 0 0 OA モージャー氏撮影写真資料

RT @clane_2015: 超すんごい資料見つけた！！昭和21年から22年にアメリカ人モージャー氏によって撮影された、後藤鍬五郎作の聚楽園の大仏、弘法大師、仁王像を写したカラー写真。長浦海岸にあったタコの写真まである！！ https://t.co/uAgLFZ4ToR ht…

202 0 0 0 OA ディープラーニングと進化

RT @tmaehara: 松尾さんについては、この名文を読めば十分 https://t.co/DsptJSWAxC

93 0 0 0 OA 対立を用いた法的知識の整合性検証

RT @__tai2__: 法令は形式言語で記述して欲しいみたいな放談をslackでしてたら、法令工学って名前で実際に研究されてると教えてもらった。ほほー。 https://t.co/y0Hdg5Fdnz https://t.co/BXQx89oTIU

3 0 0 0 OA GはGMWのG GMWウィンドウ・システムの拡張用言語Gについて

ふと、GWMのG言語ってどんなだったかと思ってググったら論文出てきた。https://t.co/0gAopJVVux　(PDF) X-Windowではなくこれが天下取ればよかったのに。セキュリティがすげー大変だけど

2 0 0 0 OA 未踏ソフトウェア創造事業-組織力から個人の才能へ-

RT @nfunato: @miura1729 "未踏ソフトウェア創造事業－組織力から個人の才能へ", IPSJ Vol.43 No.12 (2002) を覚えてます。中で名前が挙がっている人やこの著者に限らず、省の背中を押す努力をした人が沢山いるとの認識。 https://t…

23 0 0 0 ディープラーニングを用いたコンピュータ囲碁〜 Alpha Go の技術と展望〜

RT @shigeyuki_hirai: これイ棋士とAlpha Goの対戦の前に書いてて、対戦結果出ちゃったし、すごいタイムリーな解説になってるのか！ 「ディープラーニングを用いたコンピュータ囲碁〜 Alpha Go の技術と展望〜」 https://t.co/9U8pX…

44 0 0 0 OA HPC Ruby:静的解析に基づくRubyの高度最適化コンパイラ

@c_nyan たとえばHPC Rubyでは部分計算を使っていますね。　https://t.co/doaVN0ZE4x あと、並列オブジェクト指向言語ABCL/R3でリフレクティブタワーを圧縮するために部分計算を用いる研究もあります　https://t.co/0plGz2VI8e

1 0 0 0 並列計算のための自己反映オブジェクト指向言語処理系

@c_nyan たとえばHPC Rubyでは部分計算を使っていますね。　https://t.co/doaVN0ZE4x あと、並列オブジェクト指向言語ABCL/R3でリフレクティブタワーを圧縮するために部分計算を用いる研究もあります　https://t.co/0plGz2VI8e

3 0 0 0 Smalltalk - 80専用マシンHobbes

RT @akinori_ito: 動的言語が動くハードウェアっていうとこういうやつ？ https://t.co/AqPrPsREb6

44 0 0 0 OA HPC Ruby:静的解析に基づくRubyの高度最適化コンパイラ

HPC Rubyってオブジェクトの生成を軽くするように色々やっていた気がするな。せっかくすごい処理系なのに今はあまり表に出ていないのがもったいないな　https://t.co/doaVN0ZE4x

948 0 0 0 OA アタック 25 の最適戦略

RT @yryrrrrryryr: 「アタック25の最適戦略」という、解答が分かってもあえて答えない方が良い(どのパネルを取っても期待値が下がる)局面について検討している論文が興味深い。例えば1問目にパネルとった人は、2問目にはあえて答えない方が良いらしい https://t.…

5 0 0 0 OA 計算機屋から見た計算の複雑さ(計算過程の生成,基研長期研究会「複雑系」,研究会報告)

この手の問題だと、竹内郁雄さんがいい論文書いていたなと思って検索したら、考えていたのと違う(私はWOOCで発表した奴を想定)けどもっといい論文が出てきた　http://t.co/aGckv0jytk (PDF)

4 0 0 0 OA FMAを利用した行列積の高精度演算

RT @syoyo: Super cool! > FMA を利用した行列積の高精度演算 https://t.co/Z7r8kI07sR

4 0 0 0 ドラマ「あまちゃん」研究序説 : なぜ視聴者に支持されたのか

RT @ronbuntter: こんな論文どうですか？ ドラマ「あまちゃん」研究序説 : なぜ視聴者に支持されたのか(碓井 広義),2014 http://t.co/7YgBJ3YeYm

1 0 0 0 RubyによるOS構成法の提案とその実行基盤の試作

@yukihiro_matz この方ですね。http://t.co/ldymg70wj0 何かで発表する告知を見た記憶があります。確かに居らっしゃいますね。

2 0 0 0 OA Smalltalk-80の多言語化

RT @abee2: @miura1729 @wtakuo Interlisp-DとSmalltalk-80の多言語化の話は、この辺りに。80年代後半には普通に使っていました。 http://t.co/wdnckTF8f4

3 0 0 0 OA GはGMWのG GMWウィンドウ・システムの拡張用言語Gについて

@syuu1228 おそらくこれが一番詳しい情報ではないかなと思います。　https://t.co/3ljkztmtbD

253 0 0 0 高校野球指導における丸刈りが選手の心理および打撃成績に及ぼす影響

統計学の授業でこれの統計上の誤りをテストにするとどうだろう？それにしても、仕事率って言葉を再定義するのはひどい 「高校野球指導における丸刈りが選手の心理および打撃成績に及ぼす影響」http://t.co/XSykyVbQ 　

608 0 0 0 男子中学生に対する「丸刈り」指導の効果に関する研究 : 都道府県別「丸刈り強制率」と各種指標との関連

男子中学生に対する「丸刈り」指導の効果に関する研究 : 都道府県別「丸刈り強制率」と各種指標との関連　 http://t.co/au04qQa0 いろいろ興味深い

4 0 0 0 容量を固定した整数ビンパッキング問題のFFD法による解法

@frsyuki ビンパッキング問題っぽいと思ったので、ぐぐったらよさげな論文がありました。頓珍漢だったらすみません。　http://t.co/0Fu6pkSl

10 0 0 0 ALGOL N の開発

RT @dico_leque: ふと『ALGOL N の開発』 http://t.co/dknE9AdX を眺めていて「また、プログラム、データなど、いくつかの述語は、算譜、算料等と現代風に書き改めた」とあって数度読み直した。 1984 年

3 0 0 0 OA Tachyon Common Lispの実現方式

Tachyon Common Lispの実現方式 https://t.co/mlnijvGM

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

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

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

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

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

2 0 0 0 OA 2C2-1 本来両手動作である作業活動を片手で行った時の利き手・非利き手の動作特性の検討

@miura1729 真面目に真面目に研究した人達がいます ・本来両手動作である作業活動を片手で行った時の 利き手・非利き手の動作特性の検討 ○本多 ふく代（東北文化学園大学医療福祉学部） https://t.co/KOiJ9DzfwQ

1 0 0 0 OA A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types

@miura1729 再帰しても使用メモリ量が静的に確定できる（組込みシステム用関数リアクティブプログラミング言語用の）型システムならこちら https://t.co/HAAlMUwb0f

1 0 0 0 OA 抽象実行 そのフレームワークと実例(その3)

@miura1729 広範に書いてありますが数学の道具は押さえてある文献です。文献9にbdd,ほかにmso,μ計算など。ただgithubにコードはなさそうでもし探すならbddの実装やμ計算の実装を探すと言語は何かわかりませんがありそうな気がします https://t.co/T2gJ2ReLee

2 0 0 0 OA 被害者への自殺の強制と殺人罪

@miura1729 軽くググったけど、場合によっては殺人罪が成立するっぽい。 https://t.co/lYQvAdJVEP

6 0 0 0 OA 量子情報の非局所化とブラックホール情報損失問題

@miura1729 授業でふんわり聞いたことしかなかったのでググって読んでみてたんですがなるほど分からん状態でした。 https://t.co/IMcZ25Uuvz

1 0 0 0 OA アマチュア無線機の動向 (その2) —ソフトウェアデファインドラジオ—

今の技術だと、AMラジオの周波数だとDSPで処理できてしまうんだよなあ…ミリ波帯がアマチュア無線とか軍用レーダだけに使われていた時代から、思えば遠くに来たもんだ。 （2013年の記事 https://t.co/tqH4s3qbZv によれば、DSPで30MHzくらいまでは処理できるらしいので、AMラジオの周波数だと余裕） https://t.co/r8OKHtkbWj

2 0 0 0 金融財政事情

@miura1729 大蔵省自体に大量の書類を残していたはずだから、記録にあるはずだと思って調べたらありました。 https://t.co/LMFhgceic0

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

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