Wasmコンパイラー作りの楽しみ YAMAMOTO Yuji (山本悠滋) 2020-12-09 WebAssembly night はじめまして! 👋😄 山本悠滋 (@igrep) Haskell歴 ≒ プリキュアおじさん歴 ≒ 約8年。 趣味Haskeller兼仕事PureScripter @ IIJ-II 😁 今日はHaskellなどの話はしません! igrep.elというEmacsプラグインがありますが無関係です!
Wasmコンパイラー作りの楽しみ YAMAMOTO Yuji (山本悠滋) 2020-12-09 WebAssembly night はじめまして! 👋😄 山本悠滋 (@igrep) Haskell歴 ≒ プリキュアおじさん歴 ≒ 約8年。 趣味Haskeller兼仕事PureScripter @ IIJ-II 😁 今日はHaskellなどの話はしません! igrep.elというEmacsプラグインがありますが無関係です!
ユニオン型は、string | numberのような記法で「stringまたはnumber」のような意味の型を作る方法です。TypeScriptプログラミングではユニオン型は非常に便利で、様々なインターフェースを的確に型で表現するためには欠かせない道具です。 ユニオン型を得るためには上の例のように|記法を使いますが、この記事では|と書かずに型推論を用いてユニオン型を得る方法を集めてみました。 構文系 JavaScriptの構文の意味から型推論でユニオン型が推論される系です。 条件分岐 条件分岐の構文では、ランタイムの条件によって結果が変わるため、コンパイル時には結果がどちらに分岐するか分かりません。そのため、TypeScriptコンパイラはどちらでも対処できるようにユニオン型を推論します。 条件演算子
この記事は Clojure Advent Calendar 2020 の9日目に向けたものです。 TL;DR clj-kondo 便利なので使ってなければ使ってね! clj-kondo とは clj-kondo とは Clojure のリンターです。 これまでも eastwood のようなリンターは存在していましたが、 clj-kondo が特徴的なのは GraalVM を用いてネイティブイメージ化されたものを配布しており、JVMを使ったツール類でよく言われるセットアップの手間(Javaランタイムのインストール)や起動の遅さをほぼ無視できる点です。 $ cat foo.clj (ns foo (:require [clojure.string :as str])) (defn -main [] (let [s "hello"] (println "hello world"))) $ tim
はじめに この記事はRust Advent Calendar 2020 9日目の記事です。 Linux上のRustをno_stdで動かしてみます。no_stdとは標準ライブラリを使わないということで、一般的なOSの上ではない環境などでRustを動作させたいときに使われます。今回はLinux上で動かすので別にまあ標準ライブラリを使えばいいんですが、こういったムダなことを通してRustの低レイヤ部分を学べたらいいなと思ってやってみました。 とりあえずno_stdを付けてみる no_stdでRustを使うには、ソースコードに#![no_std]で属性を付けてやります。cargo newのデフォルトで書かれているprintln!は標準ライブラリで定義されているため今回は削除しておきます。
Haskell/GHCでの浮動小数点数の扱いを見ていきます。 浮動小数点数特有の落とし穴や、Haskell/GHC特有の落とし穴(バグ)にも若干触れます。 型 Haskell標準で規定されている浮動小数点数型は Float Double CFloat CDouble の4つです。 大抵の環境では、 Float はIEEE binary32(単精度) Double はIEEE binary64(倍精度) CFloat は Float のnewtype CDouble は Double のnewtype と思って良いでしょう。というか、GHCがそうでない環境をサポートしているか疑問です。 リテラル Haskellにももちろん小数リテラルがあります。 Haskellの小数リテラルはオーバーロードされており、 Fractional a => a という型がつきます。つまり、0.1 :: Float
署名の検証に使う鍵を見てみよう では、この署名の検証に使うための公開鍵を探しましょう。署名者名は iij.ad.jp なので、iij.ad.jpのDNSKEYレコードを引いてみます。 $ dig iij.ad.jp dnskey ... ;; ANSWER SECTION: iij.ad.jp. 1488 IN DNSKEY 256 3 8 AwEAAbdSiZ0RxmtsZUbE1v5kJWi3tXYBQYmZZmYVyw5QgSI7zSoOIcdW 2NoSX+rarklHdnBZKHgBE/lylRxxEi5pGQaJFLVEMBbUo5leb9nmikWG +GxWJL6dZic5LIt3hyAZ0r9jNJN/apzbQh16X41X8gE4lMymlMDXRf6W SbfKReW9 iij.ad.jp. 1488 IN DNSKEY 257 3 8 AwEAAfByl5y3fB
本記事はAndroid Advent Calendar 2020の2020/12/01分です。 初っ端ということなので、2020年末と2021年頭でのAndroidエンジニアとして初めて業務でやる場合に抑えておいたほうが良い最低限の部分を書いていこうと思います。(ツッコミ待ちです) 対象 2021年3月ぐらいまでに !!業務!! でAndroidアプリを作らされる事になった可愛そうな人が居たとします この人は手続き型言語でオブジェクト指向プログラミングができる知識があり、Androidアプリもなんとなく趣味で作ったこともあるぐらいのレベル感です(なので上長からいきなりお前Android担当なと言われた) 最低限のAndroidアプリの作成の知識はあるものとします(画面の表示にはActivityがいるよとかは書かない) ゲームは対象外です 業務でAndroidアプリを作ることを想定しています
中学受験のメリット・デメリットは色々な所で論じられているが、記名ではなかなか書けない部分をちょっと書きたいと思う。 よく言われるメリットは、中高一貫校で高校受験がないために自分の興味に集中出来るであるとか、自由な校風が主体性を伸ばすであるとか、そういったものだと思う。自分も間違いなく大きなメリットだと思う。 また、小学校の時に行う中学受験の訓練は、それがすなわちロジカル・シンキングに結びついており、大人が必要としている思考ツールの練習になるという指摘もその通りだろう。卒業後の縦横の繋がりも深い学校が多い。 中学受験を経験し、難関校の入学を達成した時点で、その後の人生において大きなアドバンテージを得ているのだ。ここまででも十分に立派なメリットである。 しかしそれ以上がある。それは、家庭の選抜である。中学受験に十分な投資するような家庭で育った子どもたちは、家庭全体としてある程度優秀であることが
","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
2020年11月24日、英国オールダム地区科学センターのガラス窓に貼られたウイルスのポスターと、その前を通り過ぎるマスク姿の男性。(PHOTOGRAPH BY CHRISTOPHER FURLONG, GETTY IMAGES) 新型コロナウイルスには2度感染する。最近では、それが専門家の共通認識だ。今のところ、再感染の報告は世界で数百例とそれほど多くはないが、パンデミック(世界的大流行)が続けばその数字は増えるだろう。 既に感染して「免疫パスポート」を手にしたと思っていた人々にとっては、ありがたくない話に違いない。パンデミックが続く限り、自分には免疫があるのでマスクもソーシャルディスタンスも必要ないというわけにはいかなさそうだ。10月には、再感染による初の死者が報告された。オランダに住む89歳の女性だった。 他のコロナウイルスと同様に、新型コロナでも時間とともに免疫が失われる可能性がある
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く