d.y.d. Pluggable Type Systems
19:27 08/02/29 不動点ふたたび LtU で "Data Types a la Carte" を読みました。これの鍵となる技は「型コンストラクタに対する不動点演算子」だと思うのだけど、 あれ、なんで俺これ考えたことなかったんだ…？と不思議に思うくらい楽しげなアイデアですね。てい。 // 不動点演算子 via テンプレート。Dで。 // // Haskell でいう"普通の"不動点関数 fix f = f (fix f) と同じようなもの // = の代わりに継承になっちゃってますけど、まあ似たようなものです class Fix!(alias F) : F!(Fix!(F)) {} 不動点演算の実装は本題ではないので、Yコンビネータみたいな無駄な複雑化はしない方針で。 さて、これを使って class Pair(T) { T left; T right; } ２個同じ型の値のペアを
お知らせ | 国立大学法人 神戸大学 (Kobe University)
| 2018年度 | 2017年度 | 2016年度 | 2015年度 | 2014年度 | 2013年度以前 | 2018.12.21 情報セキュリティ講演会「サイバー攻撃対策について」を開催しました 2018.12.19 第24回神戸大学国際学生交流シンポジウムを開催しました 2018.12.18 中南財経政法大学から訪問がありました 2018.12.13 JSTさくらサイエンスプラン「持続可能な農業を支える最先端のバイオシステム工学」を実施しました 2018.12.13 武田学長がカンボジア王国を訪問しました 2018.12.12 女子タッチフットボール部Rooksが第27回東西大学王座決定戦で優勝しました 2018.12.12 メキシコ自治大学を訪問しました 2018.12.12 インスブルック大学(オーストリア)を表敬訪問しました 2018.12.12 エルテ大学(ハンガリー)と
金融そして時々山: 新銀行は止めるにしかず
金融そして時々山 山好き金融マンのホームページ 余り日本のマスコミが取り上げない視点から経済と金融を語るページです そして時々山やアウトドア・町歩きを語ります 新聞によれば２６日の都議会で石原知事が新銀行東京の経営が悪化したことについて自身の責任を初めて認めた。ただし清算などの処理は行わず、あくまで経営の建て直しに全力を挙げると強調したそうだ。折角自らの非を認めたのであれば一都民の立場としてあるいは多少金融を知る者としては早期に全面撤退して欲しいと思う。新銀行東京が営業を続けることは、歴史に例をとれば、敗戦が決まった太平洋戦争において、絶海の孤島で玉砕するようなものである。 私はこのことを政治的な立場や「地方公共団体である都が銀行に出資するべきではない」といった観念論で述べているのではない。金融マンとして「日本の大手銀行や新しいタイプの銀行（新銀行東京など）に中小企業融資を行うノウハ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
