ゆるかわそーうつダンス うた：琴葉茜・葵終わってるのに終わるのが怖いのだ歌ボ２作目です 二人とも声かわいいね カラオケ行かない？虚無子っていいます聴いてくれた人全員好きになります、なりました、よろしくお願いします広告くれる人感謝します しました ちゅっちゅマイリスです →mylist/61395282twitterです →@unbornrabbitミックス＆マスタリングは親切なお兄さん、沢田凛さん（ mylist/31274722 ）がやってくれました！！（動画内で編曲って書いちゃった、すみません〜！）
7月14日：阿吽の呼吸がどう生まれるか（7月11日号Cell掲載論文） | AASJホームページ
狼がバッファローを襲う時の統制のとれた動きを見ると、私たちは司令官の指示による統制がうまく働いていると思うが、実際には各個体の個別の決断の積み重ねがあたかも指示によって動いているように見えるだけだ（これについてはJT生命誌研究館のブログに「コミュニケーションと言語」というタイトルでまとめてあるので参照してほしい。（www.brh.co.jp/communication/shinka/2017/post_000022.html）。従って、重要なのは各個体レベルでの決断が、他の個体の決断と一定の連関を持たないとうまくいかない点だ。すなわち、他の個体の動きを見、次のアクションを予測し、自分の行動につなげることが必要になる。 今日紹介するUCLAからの論文は個体同士の相互作用の時に生まれる脳内での連関を調べた研究で、私たちが阿吽の呼吸と呼んでいるような行動のルーツに関わる研究で、7月11日号のCe
Account Suspended
Account Suspended This Account has been suspended. Contact your hosting provider for more information.
How I Intend to Help Steer GHC :: Reasonably Polymorphic
Yesterday I was (somewhat surprisingly) brought on as a new member of the GHC steering committee. I believe transparency is very important in situations like these, and so I’d like to outline my intentions for my tenure in the committee. I nominated myself because of problems I perceived in the status-quo. Lately, there have been a few notable cases of dissatisfaction in the community with the pro
Dockerでデバッグ対象のコンテナにツールを入れずにtcpdump/straceなどを使うワンライナー - Qiita
はじめに Dockerであんなコンテナやこんなコンテナを動かしてると、なんかうまく動かなくて、デバッグのためにtcpdumpとかstraceなどのツールが使いたくなることが稀によくあります。 そんな時、デバッグ対象のコンテナ内にツールを一時的にインストールしちゃうというのが、まぁ簡単で分かりやすいんですが、デバッグ対象のコンテナを汚すのはできれば避けたいところです。 Dockerのコンテナの分離というのは、結局のところLinuxのリソースの名前空間の分離であるので、逆に同じ名前空間を共有すれば、デバッグ用に立てた隣のコンテナから、デバッグ対象のコンテナのネットワークやプロセスの状態を観察することも可能です。 また、docker buildはDockerfileを標準入力から受け取ることもできるので、ワンライナーにしてデバッグ用のコンテナをシュッと呼び出せるようにしてみました。 TL;DR
Goでツールを量産する僕の方法
Profile id: Songmu (ソンムー) Masayuki Matsuki / 松木雅幸 Nature Japan 株式会社 取締役CTO おそらくはそれさえも平凡な日々 http://www.songmu.jp/riji/ https://metacpan.org/author/SONGMU 好きな言語は、PerlとGoと中国語 200+ GitHub Public Repositories 60+ CPAN Modules 50+ Go modules/tools 3 Times ISUCON Winner Using Perl YAPC::Tokyo 2019 ベストスピーカー
Goを学ぶときにつまずきやすいポイントFAQ | フューチャー技術ブログ
他の言語になれた人が、初めてGoを書いた時にわかりにくいな、と思った部分はどういうところがあるのか、難しいポイントはどこか、という情報を自分の経験や、会社の内外の人に聞いたりしてまとめてみました。まだまだたくさんあるのですが、多すぎるのでまずはこんなところで。コンテナで開発することがこれからますます増えていくと思われますし、その時にコンテナとの相性が抜群なGoをこれから使い始める人もどんどん増えていくと思います。 Goは特に言語のコアをシンプルに、何かを実現するときはそのシンプルな機能を組み合わせて実現しよう、というコンセプトです。つまり、他の言語で実現したいこと・できていることに比べて、Goは組み合わせ（イディオム）でカバーする領域が広くなります。そのあたりのとっかかりになる情報を提供することが、これからGoを触る人にとってつまずきを減らすことになると思います。 Go Conferenc
QuickJS Javascript Engine
News 2024-01-13: New release (Changelog) 2023-12-09: New release (Changelog) Introduction QuickJS is a small and embeddable Javascript engine. It supports the ES2023 specification including modules, asynchronous generators, proxies and BigInt. It optionally supports mathematical extensions such as big decimal floating point numbers (BigDecimal), big binary floating point numbers (BigFloat) and ope
What Is Rust's unsafe? | Nora Codes
Leonora Tindall 2019/07/12 I’ve seen a lot of misconceptions around what the unsafe keyword means for the utility and validity of Rust and its marketing as a “safe systems language”. The truth is a lot more complicated than a single pithy tweet can possibly sum up, unfortunately; here it is as I see it. Basically, the unsafe keyword does not turn off the advanced type system that keeps Rust code h
Executable formal semantics for the POSIX shell
The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert's control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems. Even though it is powerful, critical infrastructure, the POSIX shell is maligned and misunderstood. Its power and its subtlety are a dangerous combination. We define a formal, mechani
カタンの最長交易路(Longest Road)を探すために半環を考える - Qiita
この記事はlotzさんの「動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜」という記事を読んで、自分の問題に対しても応用できないかと考えた結果をまとめたものです。 先に元の記事を読んでから以下の内容を読んで頂けるとスムーズかと思われます。 最長交易路とは 皆様は『カタン』というゲームをご存知でしょうか？ カタンは複数のプレイヤーが無人島を開拓して、最も繁栄させることができたプレイヤーが勝利するというボードゲームです。 このゲームには「最長交易路」というルールがあり、最も長い交易路を作ったプレイヤーに追加の得点が入ることになっています。 このゲームにおける交易路はグラフ理論の言葉を借りると無向多重グラフとみなすことができます。 そして、最長交易路を探すということは、無向多重グラフの中で最長の小道（trail）を探すことになります。 ここでは、ある頂点からある頂点へ行くル
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Statistics with Julia Book DRAFT
Global Implicit Parameters
Dissecting A Dweet #2: Spirograph Design Generator
/etc/rc.d/init.d/pants | Lobsters
Release The Zenobius release · tlaplus/tlaplus
RacketCon 2019