はじめに 2019年4月1日の今日、平成に代わる新元号として「令和」が発表された。読み方は「れいわ」だ。 発表当日にもかかわらず、Windows10のIMEで「れいわ」と入力すると、「令和」に変換できるようになっていた。… 続きを読む 新元号「令和」は発表前からIMEに登録されていた
Java11からAPI仕様のフレーム版がなくなってしまった
API仕様とは Javaの公式ドキュメントにある、APIの仕様が書かれたサイトのことだ。 ◆Java11のAPI仕様https://docs.oracle.com/javase/jp/11/docs/api/index.… 続きを読む Java11からAPI仕様のフレーム版がなくなってしまった
MongoDBのObjectIDからUnix時間を取得するExcel式
ObjectIDとは ObjectIDとは、MongoDBでドキュメントを作成すると、自動的に挿入される管理フィールドのことだ。ドキュメントの一意性を担保する目的で使用され、フィールドの名前は「_id」に固定されている。… 続きを読む MongoDBのObjectIDからUnix時間を取得するExcel式
Excel形式の日時をUnix時間に変換する式
Excel形式の日時とは Excel形式の日時とは、Excelによる日時の表現形式のことだ。ここでは下図のような形式のセル値のことを指している。 Excelは、日時を「シリアル値」という数値で管理している。日時が格納され… 続きを読む Excel形式の日時をUnix時間に変換する式
File.renameToメソッドを使用する際の注意事項
File.renameToメソッドとは java.io.File.renameToメソッドは、ファイルの移動を行うメソッドだ。ただし、使用上の注意があるので、できれば使わないようにしたいメソッドでもある。 今どきjava… 続きを読む File.renameToメソッドを使用する際の注意事項