igrepのブックマーク / 2018年10月12日

igrep id:igrep

2018年10月12日のブックマーク (5件)

NHK会長、受信料下げを表明　早ければ19年度　　:日本経済新聞
NHKの上田良一会長は12日の記者会見で「中長期的な収支の見通しを精査した上で、受信料の引き下げを実施したい」と話した。値下げ額や時期は2018年末までに公表する方針。「早ければ19年度の予算案に反映させる可能性もある」と述べた。上田会長が受信料の引き下げを表明するの
igrep 2018/10/12
nhk
リンク
（ニュースＱ３）液体ミルク、災害で役立つはずが…配られず：朝日新聞デジタル
粉ミルクと違ってお湯要らずで常温保存でき、赤ちゃんにすぐ飲ませることができる「液体ミルク」。災害で役立てばと、外国産のミルクが北海道地震の被災地に送られたが、実際はほとんど配られなかったようだ。なぜなのか。 ■「飲むな！」貼り紙「キケン！　飲むな！」。地震で被災した安平町（あびらちょう）で…
igrep 2018/10/12
"日本乳業協会によると、成分は粉ミルクとほぼ同じで保存料は入っていない。無菌状態で詰めたり、詰めた後に滅菌したりするため、家庭で作る際に菌が入る可能性がある粉ミルクより安全性が高いという"

災害

育児
リンク
haskellで一番身近なモナド「getLine」と「putStrLn」
getLineで標準入力から入力した文字を取得、putStrLnで文字を標準出力に表示することができます。 getLineとputStrLnのタイプをghciで見てみます。 Prelude> :t getLine getLine :: IO String Prelude> :t putStrLn putStrLn :: String -> IO () 「IO String」とは何かというと、「IOというアクションを実行したらStringの値を生成しますよ」という意味です。haskell公式:IO入門編「String -> IO ()」はString型を引数に入れてIO ()が返ってくるという意味です。というわけでgetLineで標準入力から取得したStringをそのままStringで返す関数、つまりIO String -> Stringというような関数があればputStrLnの引数に入
igrep 2018/10/12
Haskell
リンク
IO入門編 - HaskellWiki
（このページはHaskellではIOがどのように扱われているかを手っ取り早く紹介することを目的としています。学ぶべきことすべてはお伝えできませんが、どのように動作しているかを感覚はつかめると思います。） Haskellでは、副作用は特定の型の値としてエンコードすることで考慮されなければならない、とすることで副作用がある処理と純粋な関数を切り離してきました。(IO a)型の値はアクションです。これは実行されたらaという型の値を生成しますよ、ということを表しています。いくつか例を見てみましょう： getLine :: IO String putStrLn :: String -> IO () -- note that the result value is an empty tuple. randomRIO :: (Random a) => (a,a) -> IO a -- in pract
igrep 2018/10/12
haskell
リンク
放置預金に注意、10年で国が召し上げ　19年1月から　　:日本経済新聞
国は来年1月から、10年以上放置された預金を社会事業に活用する。国が新法を施行し、管理主体を銀行から国に変更したためだ。潜在的な預金は約6000億円で、対象も6000万口座を上回る見通し。本人が気付かなければ権利は国に移り、申し出なければ手元に戻らない。憲法の財産権を守りつつも、国が私有財産を動かす異例の試み。眠った資金を有効活用するためとはいえ、預金者は注意が必要だ。10年以上放置された預金
igrep 2018/10/12
そういえばゆうちょ銀行が放置気味だった。。。まだ大丈夫なはずだけど。。。

銀行

日本
リンク
- 2018年10月13日
- 2018年10月12日
- 2018年10月11日