いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu
中国国家安全部、中国入国時に全員が携帯電話検査を受けるわけではないと明言 - 黄大仙の blog
中国入国中に携帯電話やノートパソコンを検査する可能性があるという最近のニュースに対し、中国国家安全部は改めて、電子機器検査の前提、対象、手順を明確にする必要があり、全員が検査されるわけではないこと、また、関連する噂は意図的な風説の流布と信用失墜の定番である「人に罪を着せようとすればその口実は幾らでもある」ことを強調した。 米国に拠点を置き、中国、台湾、香港、マカオの政治、経済、社会、生活、金融などのニュースを世界中の華人向けに発信するメディアの世界新聞網の記事より。 あなたのスマホのデータが全てチェックされるかも 中国国家安全部は4月26日に、「国家安全当局の行政法執行手続きに関する規定」と「国家安全当局の刑事事件処理手続きに関する規定」を発表し、7月1日から施行するとしました。 一定の状況下では、法執行当局は中国に入国する中国人の携帯電話やその他の電子機器をチェックすることができます。さ
岡山県吉備中央町の浄水場から高い濃度の有機フッ素化合物のPFASが検出された問題で、町はこの浄水場からの水道水を飲用していた住民などを対象にPFASの血液検査を公費で実施する方針を示しました。環境省は自治体が公費でPFASの血液検査を行うのは全国で初めてだとしています。 この問題は去年10月、吉備中央町でおよそ1000人に水道水として給水していた浄水場から国の暫定目標値の28倍にあたる高濃度のPFASが検出されていたことが発覚したものです。 問題の発覚後に水源は切り替えられ、現在は国の目標値を下回っていますが、住民の間に健康への不安が高まっていることを受けて、町は血中に含まれるPFASの濃度などを調べるための血液検査をことし10月から11月に実施する方針を示しました。 これまで、PFASが検出された地域の住民が有志で血液検査を行うケースはありましたが、環境省によりますと自治体が公費で実施す
内視鏡検査をやってきた
今月はコレのせいで憂鬱だったから、終わってほっとしている 検査を受けた理由生活習慣病検診で「要精密検査」の判定が出てしまい、「どこかで検査を受けてこい」と検診センターに言われる。 便潜血かなんかだったか細かくは覚えてない。 検査の予約まで検診センターから近所で内視鏡検査を受けられる病院のリストを貰っていたので、 それを頼りに最寄りの病院で検査をお願いすることにする。 当日行ってすぐ帰れる検査だと思っていたが、まずは採血検査して、検査日を予約して・・・・という流れが必要らしい。 最短で検査日の予約をお願いしたが、それでも３か月後だった。マジかよ。大盛況か。 検査前日・当日の食事の制限とか費用など、説明を聞いてその日はおしまい。 ３か月後の検査当日が来る頃には絶対に忘れている自信があったので、紙のカレンダーと、スマホのスケジュールと、職場のグループウェアに予定を入れて置き、 さらに、「検査前日
70代のタクシー運転手の半数に視野などの異常、運転手を対象にした初の眼科検診で明らかになった不都合な事実 交通事故の背景としてリスクが高まる「緑内障」、眼底検査が鍵を握る | JBpress (ジェイビープレス)
背景にはシートベルト非着用や携帯電話の使用といった問題のほか、高齢運転者の増加の問題もあるようだ。高齢者による事故においては、認知症やてんかんといった脳の病気との関連だけでなく、目の病気である緑内障との関連についても注目を集めている。 この4月、国土交通省が、バス、タクシー、トラックという職業運転手事業者を対象とした眼科検診の結果を公表した。職業運転手を対象とした大規模調査としては初めてとみられる。この調査結果を紐解きながら、緑内障のリスクについて書いていこうと思う。 圧倒的に高いタクシーの事故率 まず、事業者の眼科検診が注目される理由について。旅客の命にかかわるということは当然として、交通事故の頻度が事業者で多いことも背景にある。 最近、タクシーが絡む痛ましい事故があったことも記憶に新しいが、事業者の交通事故の頻度が高いという事実はよく取り沙汰されている。 内閣府の規制改革推進会議「第2
胃カメラ 先日、とても気になるニュースを目にし て、 バリウム検査のリスクを感じた私は、 来年からは胃カメラに切り替えようと決 意。(今年は既にバリウムをやりました) そんな事をぼんやり考えていた時に、市 の広報に、がん検診の案内が載っていま した。 各種がん検診の費用は、相場の半額以下 です。 これにしよう。 私が受けている健康診断は、バリウム検 査が標準(無料)で付いていますが、 胃カメラはオプションでも付けられませ ん。 ならば、市のがん検診で安く受けよう。 けれど、胃カメラ、不安！ えずきやすい私は、かなり不安！ 生まれて初めての胃カメラ、怖い。 来年に向けて、予行練習をしておこうと 思い立ちました。 〈つづく〉 おうちごはん ・たらの煮付け ・マカロニサラダ(ツナ・にんじん) ・ひじき煮(にんじん) ・サラダ(サニーレタス) ごちそうさまでした🍴
先月受けた健康診断の結果が来た。 これまでほぼ全項目「異常なし」の優等生できていたのだけれど。 今回、乳腺検査が「B」判定に。 「右 局所的非対称性陰影疑い」 …何やら不安を煽る文言が記載されている…。 さらに乳腺検査用紙のコピーまで添付してある。 こんなの付いてきたの、今回が初めて。 精密検査の必要はない、となっているが、本当に様子見でいいのか検索してみた。 局所的非対称性陰影とは、「正常乳腺の一部かもしれないけど、しこりの可能性もあるかな？これだけでは判断つかないんですよ？」というものらしい。 再検査の場合は、超音波検査で確認をする。 大抵は「正常乳腺組織が重なり、周囲よりも厚く=より白く見えてしまっただけ=正常」となるそうだ。 マンモグラフィ検査は乳房を圧迫して撮影するため、一部重なりが強くなってしまうこともあり、マンモで撮るたび要精査になって、精査の結果毎回問題なし、となる患者さん
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
岡山 浄水場から高濃度PFAS 全国初 公費で血液検査実施へ | NHK
来年からはバリウム検査をやめて胃カメラにします - 節約主婦のもぐもぐ日記
未知の局所的非対称性陰影：再検査の必要性#乳腺 - 人生折返し地点通過しました