Linuxで現在設定されている（使用可能な）TCP輻輳制御アルゴリズムを見る - CLOVER🍀
これは、なにをしたくて書いたもの？ 最近、こちらの本を読んでいるのですが。 TCP技術入門 ――進化を続ける基本プロトコル (WEB+DB PRESS plusシリーズ) 作者:安永 遼真,中山 悠,丸田 一輝発売日: 2019/07/06メディア: 単行本（ソフトカバー） 輻輳制御とそのアルゴリズムについて、いろいろと紹介されています。 このあたりについて、今まであまり意識したことがなかったので、「さて、手元のLinux環境ではどうなっているのか？」ということで 調べてみました。 輻輳制御自体については、こちらあたりを参考に。 第1回 TCPの輻輳制御とは何か：基本から学ぶ TCPと輻輳制御 ……押さえておきたい輻輳制御アルゴリズム｜gihyo.jp … 技術評論社 アルゴリズムとしては、Googleが開発したBBRが注目されていたりするようで？ TCPを高速化する新アルゴリズム「BBR
しぶんぎ社，中野太郎氏の記事「最近のIUT界隈」に関するコメント｜Reiya Tachihara
執筆者：立原 礼也 公開日：2024年6月8日 日本語のわかる方はこの英語は読み飛ばしてください（すぐ下に日本語で同じことが書いてあります）． Note: To avoid malicious editing or selective quoting, please ensure that the content of this article is shared by explicitly indicating the link to the present webpage. To prevent malicious translations, translating this article into languages other than Japanese by human hand (i.e., not pure machine translation or AI transla
アジャイルを採用したソフトウェアプロジェクトの失敗率はその他の手法と比べて268％も高いことが判明
ソフトウェアの開発手法としてアジャイルを採用したプロジェクトはアジャイル以外の手法を採用したプロジェクトに比べて失敗率が268％も高いという調査結果が発表されました。 268% Higher Failure Rates for Agile Software Projects, Study Finds - Engprax https://www.engprax.com/post/268-higher-failure-rates-for-agile-software-projects-study-finds 268% higher failure rates for Agile software projects • The Register https://www.theregister.com/2024/06/05/agile_failure_rates/ 今回の調査はコンサルタント会社「
なぜUber配車サービスは日本で失敗したのか？ | Coral Capital
配車サービスとしてのUber Japanは、なぜ日本市場で立ち上げに失敗したのでしょうか？ 2014年3月にアプリによる配車サービスをスタートしたUberですが、あれから7年。今や東京でUberといえば、フードデリバリーのUber Eatsを指すようになっているのではないでしょうか。 日本でのUber失敗の原因は、いろいろな説明があり得ますが、この問いに対する答えには、今の日本のスタートアップ・エコシステムにおける重要なテーマが潜んでいるのではないかと思います。 「日本では」法律を破ってはいけない 長く日本に住むアメリカ人連続起業家の友人、Tim Romero氏がホストするポッドキャスト「Disrupting Japan」で、かつてこのテーマを扱ったことがあります。日本社会のあり方やUber海外展開失敗の事例国の1つの説明として、ポッドキャストの内容をTim本人が書き起こした記事は、英語圏
楕円曲線暗号のための数学6（GLV法と自己準同型写像）
初めに 今回は、楕円曲線の数学的な性質を用いたスカラー倍算の高速化手法の一つ、GLV法（Gallant-Lambert-Vanstone）を紹介します。 GLV法は小さいマルチスカラー倍算を利用するので、まずそちらから解説しましょう。 マルチスカラー倍算 一般に、楕円曲線の点 P_1, \dots, P_n, 整数 a_1, \dots, a_n が与えられたときに Q=a_1 P_1 + \dots + a_n P_n を求める操作をマルチスカラー倍算 （MSM : multi-scalar multiplication）といいます。 zk-SNARKなどでは大きな n（数千~数万）に対するMSMが現れます。そのアルゴリズムはまたの機会に紹介するとして、ここでは n=2, つまり楕円曲線の点 P_1, P_2 と、整数 x_1, x_2 に対して Q=x_1 P_1 + x_2 P_2
最近の IUT 界隈 - tar0log
IUT論文が恐れられているとは寡聞にして知らなかった。有料部分も読んだが、議論が膠着しているという主張や、望月氏は芸能ネタもいける親しみやすい人柄であるというどうでもいい情報、川上量生氏による例の賞金の話（後述）など。新しい話は特にない。 一連の問題について自分が以前に書いたものは、タグ「abc」で読める。 これまで書いたことの繰り返しになるが、IUTが著しく評判を落とし、見捨てられた理由は大きく2つある。数学としての問題と、望月氏及び周辺の人々の学問的誠実性の問題。数学コミュニティから見放された本質的理由は後者にあると自分は思うが、石倉記者をはじめ、IUTに大きな期待を寄せているらしいピュアな人たちは、前者の問題には言及しても、後者の問題にはなぜか全く触れない。 数学としての問題 以下の点に尽きる。 2018年、Peter Scholze（ボン大学）, Jakob Stix（フランクフル
「日程調整できれば方法なんてどうでもいいだろ」って思ってたら、色々な方向から怒られが発生した話。 - フジイユウジ::ドットネット
X/Twitterで、打ち合わせすることが決まった相手に「日程調整ツールURLから調整お願いできますかと言うのはダメだ、危機感が足りない」という煽りツイートを見かけたので、「僕は気にしないけど」と言ったら、さまざまな角度から反応が返ってきて驚いた。*1 僕としては「こんなくだらんことで危機感とか言って煽るなよ」くらいに思って、気軽に書いたものだったが、何人かのひとたちから「こんなメール送ってくるやつとは会うのをやめるし取引は絶対にしない」とまで言われて驚いたのですね。 どうも日程調整というものはヒトの心の柔らかい何かに触れてしまう話題であるようです。 日程調整の方法とかどうでもいいことで消耗してないで、サクッと日程調整することで双方の負担を下げた方が合理的であるとは思ってはいるのだけれど「強くイヤだという人が現実に存在するのだから、その気持ちを無視するのは合理的ではない」と考えて、見かけた
PlanetMath.org
Welcome! PlanetMath is a virtual community which aims to help make mathematical knowledge more accessible. PlanetMath's content is created collaboratively: the main feature is the mathematics encyclopedia with entries written and reviewed by members (subject index, alphabetical index). The entries are contributed under the terms of the Creative Commons By/Share-Alike License in order to preserve t
“リンク切れ”――インターネットは砂上の図書館である | p2ptk[.]org
以下の文章は、コリイ・ドクトロウの「Linkrot」という記事を翻訳したものである。 Pluralistic 過小評価されている認知的美徳がある。それは「対象の永続性（object permanence）」、つまり以前に物事をどのように認識したかを継続的に記憶していることだ。ライリー・クインがしばしば思い出させてくれるように、左派は「対象の永続性」のイデオロギーだ。左派であるということは、CIAが一時的にトランプを苦しめている時でさえも、CIAを嫌い、信用しないことであり、あるいは、かつて労働者が自分の賃金で家族を養えていたことを覚えていることだ。 https://pluralistic.net/2023/10/27/six-sells/#youre-holding-it-wrong 問題は、対象の永続性が難しいということだ。光陰矢の如し。事実を覚えておくのは難しく、それらの事実がどの順番
![“リンク切れ”――インターネットは砂上の図書館である | p2ptk[.]org](https://cdn-ak-scissors.b.st-hatena.com/image/square/4a4b517a3c63d5a8577bd37a06e534e16b7884dd/height=288;version=1;width=512/https%3A%2F%2Fp2ptk.org%2Fwp-content%2Fuploads%2F2024%2F05%2F21May2024.jpg)
APIとかABIとかシステムコールとか - 覚書
はじめに 本記事はLinux環境における次のようなことをざっくり理解するための記事です。 Application Programming Interface(API)って何? Application Binary Interface(ABI)って何? システムコールとAPIとABIの関係って？ それぞれ何がどう違うの? この手の情報はググればwikipediaやらにいろいろ情報が載ってるんですが、初心者が理解するには細かいことまで書かれすぎていて、かつ、それぞれの関係がわかりにくいです。なので、用語を逐一解説するのではなく、ありがちな質問のQAという形をとりました。人によって用語の意味の揺らぎがあったりするんですが、私の解釈ということで。あからさまに間違っていたら指摘していただけると嬉しいです。 これを書こうと思ったきっかけは、以前こんなtweetを見かけたことです。それから「そういえば最
はじめての圏論 その第4歩：部分圏 - 檜山正幸のキマイラ飼育記
「第4歩」と書いたからと言って続くかどうかはわからない -- というセリフはもうやめよう。はじめの何歩かは進んだから、もう、いつ中断してもいいからな。 で、第4歩のネタなんですが、もっともっと実例を出すか、一般的な議論をするか悩みました（少しだけ）。結局、今までの例から新しい例を作り出してみることにしました。与えられた圏から新しい圏を作り出す手続きを（圏論的）構成（construction）というのですが、構成は非常に重要です。例えば、純関数の圏から状態機械の圏を作り出すCirc構成、モナドを使って射の概念を拡張するKleisli構成*1、よい性質の射の対を選び出すEP（埋め込み／射影）構成、2つの圏C, Dから関手圏DCの構成、非決定性（の一種）を導入するベキ構成、トレース付きモノイド圏からコンパクト閉圏を作るInt構成（GoI構成とも呼ぶ）などが、新しい圏を大量生産する製造機械として活
「公理」のはなし - Sokratesさんの備忘録ないし雑記帳
むしゃくしゃしたので，数学での「公理(Axiom)」について語ろうと思う．雑多な文章の寄せ集めで，特にオチがあるわけではないので，そういうのが苦手な人は回れ右して帰ると良い． 「公理」の２つの用法 「公理」に正しさ？ 公理と対象の存在 どのような命題を「公理」とするか 総括 参考文献 関連記事 「公理」の２つの用法 数学が他の諸科学学問*1と大きく異なる点として，認められている手段が「演繹」による推論の列である「証明」のみにあることにある*2．この推論の列は有限の列なので当然，議論の出発点に当たるような主張（命題）があり，これを「公理(Axiom)」と呼んでいる*3． 議論の出発点という点は変わらないものの，時代によって「公理(Axiom)」という言葉は次の異なる２つの意味で用いられてきた[Shoenfield1967，Kunen2009]． （正しい）信念についての言明 Statemen
オブジェクト指向はコードを複雑に読みにくくする - きしだのHatena
「オブジェクト指向するとプログラムが読めなくなるから禁止」のような話は昔からあって、新しい技術についてこれない人を揶揄するようなニュアンスで使われていましたが、実際にはこれはオブジェクト指向迷路にうんざりした現場での率直な意見だと思います。 オブジェクト指向は、まじめにやるほどプログラムを読みにくくするという性質をもっています。 ※ 使い方次第というコメントついてますが、だからこそちゃんと性質をしっておく必要があると思います。 オブジェクト指向の代表的な指針を３つあげると次のようなものがあります。 オブジェクト同士の連携としてプログラムを組む 単一責務の原則 インタフェースと実装の分離 まず、オブジェクト同士の連携でプログラムを組むと、コードが飛びまくって追いにくくなります。そして単一責務の原則により、小さいクラスが大量に生成されて、追いにくさがさらにあがっていきます。 ダイクストラ先生が
三重大学 高等教育デザイン・推進機構 |数学なんでも相談室
数学なんでも相談室では，入学予定のみなさん，また，在学生のみなさんで高校数学を復習したい方に，数学についての動画教材を用意いたしました。この動画をかつようすることで，三重大学での学びに必要な数学の基礎を復習することができます。 特に，入学予定の皆さんは，三重大学での学びをより深めるために，動画で復習しておきましょう！！ 動画de数学なんでも相談室 動画１ 微分（数Ⅱの範囲） 動画２ 微分（数Ⅲの範囲） 動画３ 積分（数Ⅱの範囲） 動画４ 積分（数Ⅲの範囲） 動画５ 逆三角形 スマホ版はこちら！ 動画１ 微分（数Ⅱの範囲） 動画２ 微分（数Ⅲの範囲） 動画３ 積分（数Ⅱの範囲） 動画４ 積分（数Ⅲの範囲） 動画５ 逆三角形 数学なんでも相談室とは？？ 三重大学では，特に理系学部で必要となる数学について数学なんでも相談室を開設して個別学習を行っています。 数学でわからないことは何でも聞いてくだ
なぜ、最悪の業績なのに年商の20％にもあたる1億円の売上を手放してまで楽天市場から退店するのか｜鷲尾 岳 / ワシオ株式会社 3代目社長
【はじめに】・自己紹介こんにちは。 今年の1月にワシオ株式会社（以下ワシオ）の代表取締役社長に就任しました、三代目の鷲尾 岳（ワシオ タカシ）と申します。 鷲尾家の次男坊として1991年2月10日に生まれ、小学校5年生までは地元の公立、小６から私立の学校に転校し、中３までは福井県、高校は和歌山県にある姉妹校にて寮生活をしていました。 ここで詳しくは書きませんが、その学校の特徴として、「義務教育は最低限」「校則は生徒が主になって話し合って決める」「1年を通して大半のコマを占める”プロジェクト”という授業で目標を決め、達成に向けて何をするか生徒が決める」「やりたいことは大概やらせてもらえる」などなど、おそらくかなり一般的な学校からかけ離れた環境で多感な時期を過ごしました。 高校を卒業した後、大学で中国語を学んだので、卒業してからは父の伝手を頼って入社後すぐに中国で駐在させてくれる会社さんにご縁
フルタイムで働く6児の母が副業でゲームを作った話を聞いたら「天才すぎて何の参考にもならねえ」と思ってしまった話
こんにちは。ヨッピーです。 写真は作者である「まるでゆきみ」さんの才能にビックリして固まっている僕です。 本日お邪魔しているのはNintendo Switch向けに配信されている「ツクールシリーズ るんるんスーパーヒーローベイビーズDX」の作者である「まるでゆきみ」さんのご自宅なのですが、なんとこの「まるでゆきみ」さんは金融機関で正社員として働く傍ら、6人の子どもを育てつつ、合間を縫ってこのゲームを完成させたそうです。 6人も子どもが居たら普通に働くだけでも大変そうなのにゲームまで作ってしまうって、「いったいどういう環境でゲームを作ってるのか」「どうやって時間を捻出しているのか」などなど、お話を聞くことで「いつかゲームを作りたい！」と思っている人の参考になれば、と思って取材に来たのですが、お話を聞いているうち「この人が天才すぎて、話を聞いてもなんの参考にもならないのでは？」と思ってしまいま
プロダクトマネジメントクライテリア
プロダクトマネジメントを体系化したクライテリアです。企業がプロダクトを成功に導くために必要な要素を多角的かつ具体的に記載してあります。対象はプロダクトマネージャー個人ではなくプロダクトを取り巻くチームとし、プロダクトマネジメント全体をスコープにしています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2024-06-03 Emacs news :: Sacha Chua
仕事の進め方がグダグダの会社はどうすればいいのか、「プロジェクトマネジメントの基本が全部わかる本」の著者に聞いてみた
「アイデアはあるけど小説にしようとすると上手く書けない」という人は、これ言ってあげると大体書けるようになる説→「詰め込みすぎはよくない」「話の一貫性があるかどうか」
