Langserver.org A community-driven source of knowledge for Language Server Protocol implementations Langserver.org is a community-driven site, maintained by Sourcegraph, to track development progress of LSP-compatible language servers and clients. What is LSP? The Language Server protocol is used between a tool (the client) and a language smartness provider (the server) to integrate features like a
主人公を男性に設定にする事で、『ダイエットは女性やリア充がするものだから、 男性や非リアがやるのは恥ずかしい』という、うしろめたさを破壊してくれるのは流石。 この手法は、他社のダイエット解説本もお手本にして欲しいです。 ただ、解説されている内容の方に問題があります。 糖質制限と一口に言っても、医師によって意見が分かれていて、大きく分けて 『ケトン体消費を起こさないリスク無しの粗食・糖尿病患者食系(100~130g+低GI食推奨/バーンスタイン式)』 『ケトン体消費を起こして短期間に痩せる・ボディビル系(0~20g+高タンパク推奨/ライザップ式)』 『間を取ってケトン体消費が起きるギリギリを狙う(40~60gくらい/アトキンス式)』の、3つの派閥があるようです。 ここでは、便宜上ライザップ式とアトキンス式を『スーパー糖質制限』と呼びます。 (常人の糖質摂取量1日200~300g、ご飯1杯50
Googleが中心となって開発しているオープンソースのJavaScriptライブラリ「Angular」のイベント「ng-conf 2017」が、4月5日から3日間、米国ユタ州ソルトレイクシティで開催されました。 3日目の基調講演に登壇したGoogleのエンジニアディレクター Brad Green氏は、TypeScriptがGoogle社内の標準言語に採用されたことを明らかにしました。 この記事では公開されている動画から、基調講演のその部分を中心にダイジェストでまとめました。 2年掛かりでTypeScriptがGoogle社内の標準言語に Brad Green氏。Googleには社内の標準言語(Canonical Languages)としてC/C++、Java、JavaScript、Python、Goが設定されている。 なぜかというと、もし社内のプログラミング言語が15種類もあったら、プロジ
本稿の執筆者、エンタースフィア代表・岡本基氏が元々任天堂のスタッフであったことは、古くからのネットユーザーには知る人も多いかもしれない。 さて、そんな氏に今回寄稿をお願いしたのは、ゼルダ新作『ゼルダの伝説 ブレス オブ ザ ワイルド』がらみのTwitter発言に編集部が興味を持ったのがキッカケ。さっそくプレイ記事の寄稿を打診したところ1週間後に届いたのは、Webメディアのコラムとしては常識ハズレの分量の大大大長文(!)。しかし今回のゼルダの歴史的意義を雄弁に語った論考であるとして、一挙掲載をすることに決めた。 本稿の1ページ目は、歴史的視座の分析。元任天堂スタッフとしての視点も交えつつ、この20年における世界のゲーム動向から見たゼルダ新作の意義を把握する。そして2ページ目は、詳細なレベルデザインの分析にもとづく、ゲームデザインの新規性の把握。昨今隆盛の「オープンワールド」はその通過点にすぎ
C++からRustに入った人あたりから「関数型言語から来た人のRustの感想を知りたい」とたまに言われるのでいつかブログ書こうか。 — κeen (@blackenedgold) 2017年4月3日 イントロ 私はRustをやる前にはCommon LispやSMLを主に使っていましたが、仕事ではScalaを使っていましたし他にもOCamlやSchemeやClojureやATS2やHaskellなどを書くこともありました。 私を含めた多くの関数型言語経験者人が一度は Rust for functional programmers を読んだことがあるかと思います。 このように関数型言語と比較して書かれるといかにも似た言語に見えるので私は興味を持ちました。そこで私は実際にRustに触れ始めたのです。 構文 let があるのでおよそOCamlなどに似ているという印象を受けました。 デフォルトでイミ
この記事はMySQL Casual Advent Calendar 2013 3日目の記事です。 はじめに 以前にSELECT ... FOR UPDATEとロックの挙動 - walf443's blogの記事にTwitterで少し言及したんですが、それの補足というか、InnoDBのロックの範囲について僕はこう理解していますよという話です。 MySQLといえば、InnoDBをネットワークサーバとして使うためのフレームワークであり、SQLはInnoDBのインデックスにアクセスするためのDSLといっても過言ではないでしょう。 InnoDBのロックとはつまるところインデックス行のロックなので、InnoDBのロックの範囲を理解するためにInnoDBのインデックスについて少し前置きしておきます(だいぶ端折ったけど長くなった…)。 クラスタインデックスとセカンダリインデックス すでにInnoDBのイン
Reset CSSフレンズでは、内容の改善や頒布数の決定を目的にGoogle アナリティクスでアクセス情報を匿名のトラフィックデータという形で収集・解析しています。データの収集を無効化したい場合はこちらのリンクより無効にする事ができます。 本書はReset CSSについて4つの視点から説明する本です。 そもそもReset CSSとは なぜReset CSSを使うのか 各Reset CSSの特徴 各Reset CSSのスタイル宣言 本書の構成 本書は3章から成り立っています。 Reset CSSとは何か(かばんちゃんとサーバルによる解説) Reset CSSの特色(アメリカビーバーとオグロプレーリードッグによる解説) Reset CSSでどのような宣言がされているか(アフリカオオコノハズクとワシミミズクによる解説) お問い合わせ先 本書に関するお問い合わせは[email protected]
TypeScriptにはanyを使わないよう注意しても型検査が無効化され型安全性が失われるパターンがいくつかあり、中には致命的なものも存在する。今回はこのパターンをいくつか紹介する。 コールバックのvoid戻り値型 コールバックのvoid戻り値型はすべての型を受け入れるためvoid型 === any型となる。 function f(cb: (a: number) => void): void { return cb(0); } function g(a: number): number { return a; } f(g); このためvoid型の値はvoid演算子を使用して即座に強制的にvoid型に変換しなければならない。 void f(g); ここでは手遅れ。 function f(cb: (a: number) => void): void { return void cb(0); }
こんにちは。ぼへみあです。 機械学習がすっかりブームになって、仕事や趣味でディープラーニングを使ったことがある人が増えていると思います。 特に画像分野でディープラーニングは成果を上げているので、特定のものを判別・識別するといった事例が多いかと思います。 そうした画像系のディープラーニング経験者なら経験する現象があります。 それは、 「その分野について、作ったAIよりも自分が詳しくなる」 という現象です。 おそ松さん見分けの第一人者になってしまった 以前取り組んだおそ松さんの6つ子をディープラーニングで見分けるネタでは、学習用データセットの作成のために、自力で5000枚以上のおそ松さんたちを見分ける作業を行いました。その結果、アニメを見ても、これは何松だ、と判断できるようになってしまいました。当時はおそ松さんを見分ける能力は誰にも負けない自信がありました。 なぜか学会でおそ松さんの話をする機
5. • その暗号技術がどのぐらい安全かを表す大雑把な指標 • nビットセキュリティは2 𝑛 回攻撃が必要 • 1回あたりの攻撃コストはあまり気にしない • 𝑂 2 𝑛 という表記 セキュリティビット 𝑛 直線 :𝑂(𝑛) 3次関数 : 𝑂(𝑛3 ) 指数関数 : 𝑂(2 𝑛) 𝑂(log 𝑛) 5 / 21 6. • 第二原像計算困難性(弱衝突耐性) • 𝑚1に対して𝐻 𝑚2 = 𝐻 𝑚1 となる𝑚2 ≠ 𝑚1が分からない • 同じじゃなくてもいいから何か一つ見つけるのが困難 • 𝑂(2 𝑛 )回トライ ; nビットセキュリティ • 衝突困難性(強衝突耐性) • 𝐻 𝑚1 = 𝐻(𝑚2)となる𝑚1 ≠ 𝑚2を見つけるのが困難 • 𝑂(2 𝑛/2 )回トライ ; 𝑛/2ビットセキュリティ • 第二原像を見つけるのは単なる衝突より2
※ キャンペーンは終了しました。たくさんのご応募ありがとうございました 先日お伝えした通り、本日から新しいはてなブックマークボタンをご利用いただけるようになりました! はてなブックマークボタンはこれまで種類の選択肢が少なく、かつモバイルページでは扱いづらいデザインでした。今回、種類とサイズの柔軟な変更に対応し、スマートフォンでも見やすく使いやすいデザインになりました。 以下のガイドページから、お好きなデザインにカスタマイズしてご利用ください。 ▽ はてなブックマークボタンの作成・設置について - はてなブックマーク ※ 現在すでにページに設置しているタグの貼り替えなどは不要です 新しいボタンを押して、Tシャツとステッカーを当てよう! このリニューアルを記念して、非売品の「はてなブックマークTシャツ」と今回新たに制作した「はてなブックマークボタンステッカー」をセットにして2名様に、さらに「は
外部ライブラリに依存する時に、どのようにバージョンロックをすべきかどうかという話。僕個人のスタンスです。 開発しているのがライブラリであれば依存ライブラリをバージョンロックをするべきではない 最低バージョンの指定に留めるべき(これは寧ろ積極的にやって良い) 依存ツリーが大変なことになってコンフリクトが避けられないため 実運用しているサービスやアプリケーション的なソフトウェアであればバージョンロックした方がいい これは「ある時点のビルドやリリースの再現性」のためが一番大きいと思っている 古いバージョンにとどまって良いというわけではない 基本的には、開発しているものがライブラリであれアプリケーションであれ、 とにかく依存先の最新についていく のが前提で、その前提に立った場合に、上のような考え方になるかな、と思っている。 特にライブラリ作者は依存ライブラリに非互換変更が入って動かなくなったら、頑
WebKit 開発者のメーリングリスト webkit-dev を見ていたら、興味深い話題で盛り上がっていた。WebKit のソースコードや ChangeLog のコメントに関する議論だ。 WebKit に限らず、ハッカーというのはソースコードにコメントを書きたがらない。 コメントが古くなってしまい、実情と合わなくなってしまうから、というのが理由としてはよく聞かれる。すぐ古くなってしまうコメントを書くより、元々コメントを書かなくて済むような綺麗なコードを書けよ、とハッカー達はよく言う。 個人的には、コードでは処理の内容は記述できるけれど、意図を記述できないので、意図を補足するコメントぐらいは必要なんじゃないか、と思っているけれども、それすらダメと言う人も時々見かける。 ともかく、今回の議論は自分にとっては興味深かった。 そこでその内容を紹介してみようと思う。 議論はいくつかのトピックに分かれ
2. 今日は何の話? libc でもっとも良く使われる関数、 malloc と free の実装の解説 もっと一般的に言うと、プロセスのアドレス空間のうち、 heap 領域とよばれる、場所を操作する関数の説明 解説というと聞こえはいいが、そんな大層なものじゃない 3. Linux での process address space model kernel stack text mmap data bss heap 矢印はデータ量の増加と ともに、伸びる方向 使用中 使用中 使用中 今日は、ここ、 heap と呼ばれる領域のお話 low high free free free 4. 古典的 malloc プログラミング言語 C (いわゆる K&R) で紹介された初期の Unix の malloc 実装 使用中 使用中 使用中 free listの head 使用中 ・ free list を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く