気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
scalaでGZIPで圧縮されたテキストファイル読み込む - xuwei-k's blog
いや、ほんとそのままで、なんのひねりもありませんよ。単なる自分用のメモです(´・ω・`) import java.i... いや、ほんとそのままで、なんのひねりもありませんよ。単なる自分用のメモです(´・ω・`) import java.io.{BufferedInputStream,FileInputStream} import java.util.zip.GZIPInputStream /** * @param file gzipの形式で圧縮されてるテキスト形式のファイル * @param enc エンコード */ def fromGzip(file: String, enc:String = "UTF-8" ): scala.io.BufferedSource = { io.Source.fromInputStream( new GZIPInputStream( new BufferedInputStream( new FileInputStream(file) ) ) ,enc ) } Buffered
