Rubyが 静的型付けであることの 証拠の発表Rubyが 静的型付けであることの 証拠の発表 三浦英樹
Verification and validation - Wikipedia
"IV&V" redirects here. For NASA's IV&V Facility, see Independent Verification and Validation Facility. Verification and validation (also abbreviated as V&V) are independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.[1] These are critical components of a quality management system
The V Programming Language
Simple language for building maintainable programs You can learn the entire language by going through the documentation over a weekend, and in most cases there's only one way to do something. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamede
よく知らない Graal/Truffle についてわかっているふりをして書く
AdventCalendar-2018.md これは高知工科大 Advent Calendar 2018の8日目の記事です． Graal/Truffle について紹介したかった 最近私の中で話題になっている，Graal/Truffle について書く． すごく抽象的なことしか述べない． 動的なプログラミング言語の高速化の辛さ JavaScript や Ruby ， Python などといった，動的なプログラミング言語の高速化が難しいことは よく知られている． 例えば，型がないので，式の実行時にデータの種類をチェックし，言語セマンティクスに従って処理を振り分ける （型ディスパッチ）必要がある． また，関数の定義を実行中に変えることができたりするため，関数呼び出しの際は，その前にどの関数を 実行するのかを調べてからその関数に処理をとばす必要がある． このような，処理の振り分け（ディスパッチ）にか
Island Life - 型付けと変更の時定数
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Evolution of the Alphabet
Choosing a selection results in a full page refresh. Opens in a new window.
Swiftのエラーハンドリングはなぜ最先端なのか - Qiita
Swiftのエラーハンドリングは他のメジャーなプログラミング言語のどれとも異なる新しい仕様を持っています。特に、検査例外を持っているのですが、これはJavaで採用された以降はほとんどの言語で採用されていないため、現代では否定されている過去の間違いだったと広く認識されていると思います。そのため、Swiftユーザーで無い人は、検査例外という言葉をみた瞬間に興味を失ってしまうため、その詳細がなかなか世の中に伝わっていないと感じています。一方、私はこんなSwiftのエラーハンドリングをとても気に入っていて、様々な言語の進化の歴史を踏まえた産まれた最も優れた最先端の仕様だと思っています。この記事ではその考えを説明します。 Javaのエラーハンドリング Javaは検査例外を持っています。これにより、あるメソッドがエラーを送出するかどうかを関数のシグネチャとして静的に表明できます。 // 検査例外の例
住所という英単語adressとaddressどちらが正しいスペルでしょうか？... - Yahoo!知恵袋
◆「アドレス」の正しいスペリングですね？残念ながらこの質問が出てきた背景をお話しいただいていませんので、とりあえず「誰かが adress と書いてきて、しかもその人は英語がかなりできる人なので、ことによるとこういうスペリングもあるのだろうかと考えてしまった」というような状況だと想定してお答えしましょう。 ◆英語のスペリング自体はd を2回繰り返した address が正解です。ただ、この単語はフランス語からの外来語で、それに当たるフランス語はadresse というように d が1回だけです。発音はだいたい「アドレッス」。 ◆ではなぜ英語では d が2回になってしまうかというと、英語では dd のように「同じ子音の字を2回繰り返すと、直前の母音の字（この場合は a の字）を短い読み方で読ませる」というスペリングのルールがあるからです。dd と書いてあるために address は「アドレス」と
日本語と漢字の歴史についてのおもしろ話
日本語と漢字の歴史についてのおもしろ話 日本語と漢字の歴史について調べるのが趣味みたいになっているのですが、その中で個人的に面白かった話をいくつか紹介します。だいたいソースはWikipediaだったりしますが…。 専門家ではないので、不正確な記述や誤った記述があるかもしれません。 五十音の順番はサンスクリット語由来 ハ行はもともとファ行の音だった。根拠の1つは室町時代のなぞなぞ ひらがなには現在使われている形以外のものが存在した 日本で作られた漢語は結構多い 音読みが複数あるのは違う時代に違う地方から複数回漢字の音を輸入したから 馬[うま]、梅[うめ]は実は音読み？ 三位[サンミ]、陰陽[オンミョウ]は-mで終わる音読みの痕跡 中国語の[h]の音が音読みでは[k]になる 大和言葉はラ行で始まらない 大和言葉では本来、母音は連続して現れない 日本語には昔、母音が8つあった？ 日本語の起源はタ
高校生向け『三省堂現代新国語辞典』第６版がヤバいから高校生じゃなくても買え - 四次元ことばブログ
2018年10月16日（辞書の日）、『三省堂現代新国語辞典』の第６版が発売されました。 三省堂現代新国語辞典 第六版 作者: 小野正弘,市川孝,見坊豪紀,飯間浩明,中里理子,鳴海伸一,関口祐未 出版社/メーカー: 三省堂 発売日: 2018/10/16 メディア: 単行本 この商品を含むブログを見る 「唯一の高校教科書密着型辞書」を自称しており、最新の教科書や入試問題を調査した上で、他の辞書には載っていない語句や意味を載せていることを売りにしています。高校生の自習にこれ以上ふさわしい辞書はないでしょう。 類義語の比較や用法にも詳しいので作文にも用いることができますし、人名や作品名といった百科的な項目の説明は要点をおさえていてわかりやすくなっています。 このあたりのおりこうな宣伝は公式ページを読んでいただけばよろしい。 『三省堂現代新国語辞典』の実力はこんなものではないのです。まあ見てくださ
若者ことばの「やばみ」や「うれしみ」の「み」はどこから来ているものですか - ことばの疑問 - ことば研究館
ご質問の「―み」は、「Twitter（ツイッター）」などのインターネット上の交流サービスにおける若者の投稿でしばしば見られる、次の（1）～（4）のような使い方ですね。 （1）今年の花粉はやばみを感じる。 （2）卒業が確定して、今とてもうれしみが深い……。 （3）夜中だけどラーメン食べたみある。 （4）その気持ち分かる分かる！ 分かりみしかない。 このような「―み」の使い方になじみのない方もいらっしゃるでしょうし、私の周りの大学生に聞いてみても、「なぜここで「―み」を使うんでしょう？ 」と逆に質問されてしまうことがあります。そこで、次のような問いが立てられます。 「やばみ」「うれしみ」などの表現はどのように作られたのか 文法的に見ると、この「―み」は、主に形容詞の後に付いて名詞を作る働きを持つ「接尾辞」（あるいは「接尾語」）と呼ばれるものです。形容詞に「―み」を付けて作られる名詞には、「うま
Ruby に型が欲しい理由 - Qiita
Help us understand the problem. What is going on with this article? 2018/07/05 追記 JavaScript と漸進的型付について詳しい mizchi さんが記事を書いたので、併せて読むと良さそうです。 漸進的型付け言語の時代に必要なもの 前置き RubyKaigi2018 の発表で型の導入の検討についての話がいくつかあったものの、 Matz 自身は型アノテーションに否定的であるという発言をしているとのことを受けて、自分の意見の表明として書いている。 筆者は Ruby に育てられて Ruby は好きであるが、業務経験は主に JavaScript(TypeScript) や Python(Type Hinting) が多く、漸進的型付けによるコードの健全化を経験した上で、型付きの方が好きであるという立場である。 なお
Goへの誤解について
よくGoで誤解されるポイントについて個人的な見解を書いておきます。 今回の記事はGoアドベントカレンダー2017 その3の20日目の記事です。 使ってないパッケージがコンパイルエラーって面倒じゃね？ さっさとgoimportsかgoreturnsを保存時に自動実行するエディタ環境を使いましょう。 gofmtも一緒に実行されていいことずくめですよ！ インターフェースがnil判定出来ないパターンがあるのダメじゃん？ 最初は私もそう思いました。しかし、typed-nilがnilリテラルと比較できなくなったのは 「nil判定サボったままinterface型に変換した」からでサボらなければ全く問題にならないのです。 map,sliceが不便？ map,sliceはメソッドが一切ありません。 極論をいうとGoのプリミティブ型みたいなものなのです。 ユーザーが欲しいものはmapやsliceを駆使して各自
I before E except after C - Wikipedia
This article contains phonetic transcriptions in the International Phonetic Alphabet (IPA). For an introductory guide on IPA symbols, see Help:IPA. For the distinction between [ ], / / and ⟨ ⟩, see IPA § Brackets and transcription delimiters. "I before E, except after C" is a mnemonic rule of thumb for English spelling. If one is unsure whether a word is spelled with the digraph ⟨ei⟩ or ⟨ie⟩, the
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
なぜrubyは他の言語と比べて遅いのでしょうか？
学校で"the"の発音について、母音の前は [ði] 、子音の前なら [ðə] だと教わりましたが、アメリカ人留学生に「そんなルールは無いと思う。」と言われました。私が教わったことは間違っていたのでしょうか？
科学英語を考える - 理学部ニュース - 東京大学 大学院理学系研究科・理学部
なぜ日本は漢字を廃止しないのですか？
Home - D Programming Language
黙字 - Wikipedia