- ホーム
- はてなブックマーク
- dhrname
投稿一覧（最新100件）
「超限と無限 カント及びカントー ルを経由するラズ ロ ・ テンゲリのフッ サー ル論」
アルコールはすりこみ、もみこんだほうがいいよというお話。今後のためにも、全人類に教えるべきなんだ
>口呼吸による睡眠呼吸障害が神経系の発育障害および機能障害を惹起することが知られているが、（中略）呼吸障害が味覚機能に影響を与える可能性が示唆された
>米国では，睡眠時無呼吸症の頻度は男性4%，女性2%といわれているが，睡眠中に呼吸が止まる頻度は男性で24%，女性で9%と高率に認められる（略）米国では65歳以上の高齢者のうち無呼吸・低換気指数(AHI)15以上が約20%あった
「麻酔科医が知ってほしい睡眠時呼吸異常の基礎と周術期管理」
[オブジェクト指向][プログラミング]
「9, SIMULA」(山本喜一、情報処理学会、1981年6月）C++言語がリリースされる前の1981年。virtual規制詞、protected、hidden、情報の隠蔽、参考文献にダイクストラの「構造化プログラミング」
[オブジェクト指向][プログラミング]
ホーアとダイクストラったら、うっかり屋さんね >then go to error\n end,\n else go to error } 「構造化プログラミング」（E.W. ダイクストラ/C.A.R. ホーア他著、川合 慧他訳、サイエンス社、1975年、168ページ）より引用
[数学][プログラミング]
「タイプ理論の起源と発展」（池田真治、伊藤遼、久木田水生） >λ 計算の体系と単純タイプ理論とが結びついて、型付き λ 計算（typed λ calculus）の理論が創始
[プログラミング]
「LLVM IRスライシングツールとそのGUIインターフェースの実装」
[プログラミング][数学]
「項書き換え型計算モデルとその応用」（二木厚吉、外山芳人、1983年）
[オブジェクト指向][プログラミング]
リスコフが参考にしたSimulaの待ち行列ネットワークがこんな展開に >代数的仕様記述は,通常多ソート代数(many-sorted algebra)で記述された抽象データ型とその上の等式論理により与えられる
[オブジェクト指向][プログラミング]
「オブジェクト指向というテーマがソフトウェア工学系の会議で取り上げられるのに、数年間の時間遅れ」69年にNATO会議でダイクストラが「構造化プログラミング」の名目でSimulaっぽい「抽象データ構造」を挙げたからだ
[オブジェクト指向][プログラミング]
「オブジェクト指向とシミュレーション」（山本喜一著、1988) >SIMULAの開発経緯によれば、離散型シミュレーションにおいて、対象とするシステムの構成要素を表現する手段としてクラスを導入（中略）Smalltalk-80にも
[プログラミング]
「LR構文解析の原理」（大堀 淳）
論文「近年の豪雨災害による水道事業者の被災とその対応調査」
[数学][プログラミング]
「帰納と再帰 -表示的意味論の第一歩」木下桂樹
[プログラミング][数学]
多ソート 代数と等式論理f - 情報学広場
シュレーディンガーの猫「南無阿弥陀仏、南無阿弥陀仏。ありがたいありがたい」