You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
はじめに 前回の記事「Prolog 入門」では論理型プログラミング言語のPrologについて書いてみました。今回は関数型プログラミング言語のHaskellについて書いていきます。 前回の記事に引き続き、こちらもこれからHaskellなどの関数型言語を学ぼうとしている人や大学の試験対策をしようとしている人向けです。 扱う内容はHaskellの基礎の基礎です。Haskellの詳しい説明ではなく超基礎レベルのプログラム集(問題集)と思って見ていただけると良いと思います。 今回はHaskellの環境構築(チュートリアル)から始まり、 リスト 再帰 パターンマッチング ガード を使った(本当に)簡単なプログラムを作成しようと思います。ぜひ、参考にしてください。 目次 Haskellのインストール Haskellの実行 問題&解答編 おわりに 1. Haskellのインストール 本記事ではWSL(Wi
普段の散歩道に交通量がまぁまぁある交差点があるんだけどそこには横断歩道しかなくて信号が無い。その時にそういえば信号ってどういう基準で設置されてんのかな〜とふと思って調べたらなかなか明確に基準があったのでメモ。 その基準というのが警視庁が出している信号機設置の指針について 警視庁というもの。これによると信号設置のための必須条件5つと択一条件4つというのがあった。 必須条件は要約すると下記の5つ。 車どうしがすれ違える幅があるか 信号待ちする歩行者の場所が確保できるか ピーク時1時間で300台以上あるか 既設の信号との距離が150m以上あるか 見やすい位置に信号を設置できるか さらに択一条件(=必須条件を全て満たしている場合にさらに検討するべき事項)というのもある。下記の4つ。 信号機があったら防げたはずの事故が2件以上/年ある場所か 子供や身体障害者や高齢者等の安全を確保する必要がある場所か
安眠系のASMR作品を聴いていると「全身の力を抜いて」「ベットに沈み込んでいく」「ハンモックに揺られているイメージで」などのフレーズが必ず一度は耳に入ってきます。 実はこれ、米軍式睡眠法で用いられる入眠方法なのです。「慣れると2分で眠れる睡眠法」という謳い文句で、知らず知らずのうちに広く拡散されています。 今回は、米軍式睡眠法のやり方を解説しつつ、睡眠法に慣れていない人でも効果を発揮するASMR作品をご紹介します。 米軍式睡眠法とは米軍式睡眠法とは、アメリカ海軍の訓練学校で、パイロットの入眠のために開発された睡眠法です。過酷な環境下でも素早く睡眠を取るために考案された方法であり、習得したパイロットたちのほとんどが2分で眠りにつけるようなったとされます。 米軍式睡眠法は、バド・ウィンターというアメリカの陸上競技のコーチが『Relax and Win: Championship Perform
「お金ないし誰の子どもかわからない」路上で赤ちゃん出産...傍聴から見えた女の半生「風俗店勤務でホテル転々...給料の大半はホスト通いに」「過去12回の出産」「妊娠を相談する人がいなかった」 「妊娠を相談する人がいなかった」「過去に出産を12回繰り返した」と法廷で語る33歳の女。彼女の出身地から遠く離れた大阪市内の裏道で深夜に事件は起きた。 起訴状などによると、住居不定の風俗店従業員・谷口成美被告(33)は今年1月30日午前0時ごろ、大阪府大阪市淀川区の路上で自身が出産した女児の遺体が入ったカバンを阪急・十三駅近くのコインロッカーに遺棄した罪に問われている。彼女がなぜ赤ちゃんをコインロッカーにいれたのか。裁判の傍聴から見えてきた女の半生とは。 風俗店勤務…給料の大半をホスト通いに ホテルを転々とする生活 6月23日に行われた裁判で、谷口被告が大阪に来る経緯などが明らかになった。谷口被告は鹿
はじめまして。デジタル庁ファクト&データユニット所属、データエンジニアの長谷川です。 本記事ではデジタル庁内でデータ活用を推進するための組織と分析基盤についてご紹介します。 これまでのデジタル庁noteと比べると、技術寄りの話題が多い記事となりますが、庁内のデータ活用に興味のある方はぜひご覧ください。 デジタル庁のデータ活用組織「ファクト&データユニット」ファクト&データユニットとはデジタル庁の特徴の一つに、デジタル分野において各種の専門性をもつ「民間専門人材」が多く所属していることが挙げられます。 民間の専門人材は、デザイン、プロダクトマネジメント、エンジニアリングなど、領域ごとに「ユニット」と呼ばれる組織を構成しており(参考:デジタル庁 - 組織情報)、必要に応じてさまざまなプロジェクトにアサインされて業務を遂行する、人材プールのような役割を果たしています。 ファクト&データユニットも
プログラミング勉強日記 2021年4月1日 stripメソッドとは 文字列の先頭や末尾に含まれる空白文字やタブを削除することができるStringクラスで用意されているメソッド。空白文字とタブだけでなく、改行コードや垂直タブなど(¥r, ¥n, ¥f, ¥v)を削除する。ただし、全角スペースは削除しない。 メソッド名の最後に!(ビックリマーク)を付けて破壊的メソッドを使用することもできる。strip!メソッドを使うと、先頭と末尾の空白文字を取り除いた文字列を元の文字列に書きかえる。 chompメソッドとは 文字列の末尾から改行コードを取り除いた文字列を返すStringクラスのメソッド。引数に空文字("")を指定すると、末尾の改行コードをすべて取り除く。 メソッド名の最後に!(ビックリマーク)を付けて破壊的メソッドを使用することもできる。chomp!メソッドを使うと、末尾の空白文字を取り除いた
JR東日本は6月26日、24日に発生した、モバイルSuicaでのチャージなどができなくなった障害について、電源工事のミスが原因だったと発表した。工事マニュアルに間違いがあり、計画と異なるブレーカーを切ってしまったことで、システムサーバへの電源供給が止まってしまったという。 原因は、屋内の電源工事。マニュアルには本来「盤NO6(CV6)内のブレーカーを『切』にする」と記載されるべきところ、「盤NO6(CV4)内のブレーカーを『切』にする」と書かれていた。 作業スタッフがこの誤りに気づかず、「盤NO4(CV4)」のブレーカーを切ったため、夜間処理中のシステムへの電源供給が止まり、ハード故障やデータ不整合が発生した。 障害発生から完全復旧まで約12時間かかった。サーバ電源を再投入し、ハードウェアの健全性を確認した後、電源供給停止時に実行されていた処理の再実行やデータの整合性を確認した上でサービス
町山智浩さんが2023年6月20日放送のTBSラジオ『こねくと』の中でNetflixで配信中のイタリアアニメ『世界は僕を切り裂けない』を紹介していました。 (町山智浩)で、今日紹介するアニメも情報量がめちゃくちゃ多くて、スピードがめちゃくちゃ速くて、ついていくのが大変なんですけど、ものすごく面白いんで。これ、Netflixでもう既に見れるんですが。『世界は僕を切り裂けない』っていうタイトルのイタリア製のアニメです。 (でか美ちゃん)へー。イタリアのアニメ。 (町山智浩)イタリアのアニメってあんまり見たことない人も多いと思うし。僕も見たことないんですけど。ほとんど。これね、ゼロカルカーレという人が原作で。その人は漫画家なんですね。で、このゼロっていう人が主人公で。監督・脚本・声の出演を全部、このゼロカルカーレって人がやっているという、ものすごく個人的なアニメです。 (でか美ちゃん)そんな個人
2022年1月1日より、改正電子帳簿保存法が施行され、国税関係の帳簿・書類のデータ保存について、抜本的な見直しが行われました。 ただし、2021年12月10日に発表された与党の「令和4年度税制改正大綱」では、「電子取引」に関するデータ保存の義務化について、2023年12月末まで2年間に行われた電子取引については従来どおりプリントアウトして保存しておくことが認められることとなり、それに対応するための省令改正等が行われました。 しかし遅くとも2年後には、「電子取引」への対応が求められることとなります。そのために、いまからどのような準備をしておくべきかについて、久保田総合会計事務所の久保田光彦公認会計士・中小企業診断士(税理士法人静岡みらい 代表税理士)にお話しをうかがいました。 ※2021年12月末日現在の情報です。詳細については国税庁ページをご確認ください。 電子帳簿保存法の三つの区分 電子
2024年1月から対応必須に。改正電子帳簿保存法への対応 第1回:電子帳簿保存法で対応するべきこと、しなくてもよいこと 2022年1月から施行されている改正電子帳簿保存法。2年間の宥恕(ゆうじょ)期間を経て、いよいよ2024年1月から全事業者の対応が必須となります。この連載では、改正電子帳簿保存法やインボイス制度について、企業がどのように対応していくべきか、法令の背景や規定の変更まで含めて解説していきます。 既に始まっている改正電子帳簿保存法。宥恕期間とは何か? 改正電子帳簿保存法への対応が迫っています。しかし、改正電子帳簿保存法は、すでに施行されている法律。なぜ、2024年1月から対応必須と言われるのでしょうか。それは2022年1月の施行開始直前の2021年12月27日、国税庁が改正省令により、2年間の宥恕期間を設けることを発表したからです。 宥恕期間とは聞き慣れない言葉ですが、この場合
企業年金 第3部 年金を受け取るまでに中途退職や制度変更があった場合 第1章 企業年金を受け取るまでに退職したらどうなるのでしょうか? (1)中途退職した時の企業年金 企業年金は「年金」という名前がついていますが、「年金」を受け取ることができるのは、定年退職者や長期勤続者が中心です。その他の中途退職の場合は、企業年金といえども「一時金」として受け取ることがほとんどです。転職を繰り返すとそのたびにさほど多くない一時金を受け取り、老後になった時に、公的年金の他にはまとまった退職金も企業年金もないという人が増える可能性があります。こうした問題を解決するために、中途退職をした場合でも老後に企業年金が受け取れるようなしくみが徐々に増えてきました。 (2)中途退職した場合の企業年金の取り扱いの変化 かつて、企業年金は個々の企業が運営しており、「持ち運ぶ(ポータビリティ)」という考え方がほとんどありませ
年金原資を連合会に移換した後、再就職等される方(ポータビリティ) 企業年金原資の移換(ポータビリティ)については、企業年金の通算制度もご覧ください。 連合会から再就職先の企業年金への移換 Q1 再就職することになったので連合会に移換してある年金原資を再就職先の企業年金に移して統合することはできますか。 連合会から確定給付企業年金への移換の手続き Q2 再就職先の確定給付企業年金で、連合会に移換してある年金原資の受け入れができると言われました。手続きはどうすればいいのですか。 連合会から企業型確定拠出年金への移換の手続き Q3 再就職先の企業型確定拠出年金に連合会にある年金原資を移換して統合することができますか。できる場合、手続きはどうすればいいのですか。 連合会から個人型確定拠出年金(iDeCo)への移換の手続き Q4 退職して個人型確定拠出年金(iDeCo)に加入しました。連合会に従前移
こんにちは!じゃいごテックのあつしです。 今回は木構造やグラフの探索に用いられる、深さ優先探索(Depth First Search)と、幅優先探索(Breadth First Search)をご紹介します。 アルゴリズムはほぼ同じですが、データ構造にスタック(stack)を使うと深さ優先探索、キュー(queue)を使うと幅優先探索になります。 どちらも全ての要素を探索(全探索)できますが、計算量やメモリ消費を少なくするためには問題に応じて使い分ける必要があります。 最強アルゴリズマー養成講座(通称チーター本)によると下記のような使い分けをすると良いとのことです。 深さ優先探索 全通りを列挙し、結果をまとめる場合 辞書順で最初の解を求める場合 幅優先探索 最短経路を求める場合 ある程度近くに求めたい解があることがわかっている場合 深さ優先探索(Depth First Search) 探索開
はじめに 本記事は「Rubyで学ぶアルゴリズムとデータ構造」勉強会用の資料として書かれたものです。 ソートとは、データの集合を一定の規則に従って並べ替えるものです。 Rubyには Array#sort が存在し、これで配列の要素を楽々ソートできます。 ary = [ "d", "a", "e", "c", "b" ] ary.sort #=> ["a", "b", "c", "d", "e"] このように言語側でアルゴリズムを用意してくれているとはいえ、中身を知っておいて損はないです。基本的なソートアルゴリズムを押さえることで、より高度なアルゴリズムとデータ構造への理解がしやすくなります。 そこで本記事では下記ソートアルゴリズムをRubyで実装することで理解を深めていきます。 選択ソート バブルソート マージソート クイックソート ソートとなると順序性担保や計算量の話題がどうしても出てきま
Manjaro は作業用PCに最適なOS外出先で作業するためのノートPCに Manjaro をインストールして、1ヶ月ほど使用してみました。 中古で購入した、第6世代のcore i3が乗ったノートなので、今となっては低スペックな部類に入るマシンですが、13インチのモニタと、テンキーレスのフルサイズキーボード、1kg弱の持ち運びしやすい重さという、僕の求める基準を満たしたありがたいマシンです。 普段、外でする作業は文書作成、ブログの編集、ネット検索など軽い作業がほとんどで、動画編集などは別のPCでしているので、このスペックで十分です。 ただ、さすがにWindowsだともっさりとした動作になってしまうので、Linuxのディストリビューションを色々インストールして使いやすい環境を作っています。 今回は、Manjaroのレビューを通じて、操作性や機能性だけでなく、Windowsとの連携など実際の使
はじめに 去年の6月に入社して、1年たったので転職から1年間やってきたことを振り返りたいと思います。 自分は運がよかっただけなのかもしれませんが、未経験のころに抱いていた未経験エンジニア転職と違ったので、これからエンジニア目指す未経験の方の1つの事例としてケーススタディになればと思います。 転職が決まった! 転職が決まった時、エンジニアの友人と喜び合ったのを今でも覚えています。 私「転職きまったよ~」 友人「おーおめでとう」 私「フルリモートで未経験は1年研修があるらしいよ~」 友人「研修長くない!?有給プログラミングスクールじゃん」 私「提示年収これぐらいだった。1日7時半労働らしいよ~」 友人「!?」 ~4か月後~ 私「フルフレックスになった~」 友人「ファッ!?」 実際、今年の4月半ばごろまで研修をやっていました。(10ヶ月半ぐらい) 最初、「あ~これは、実際は3ヶ月ぐらい研修で現場
一般社団法人ウェブ解析士協会のスピンアウトの研究会「Flashセミナー研究会」。マーケティングを中心に、ビジネスパーソンや経営者に今必要なスキルを紹介する同会のセミナーに、Tiktokアカウントが開設から半年でAIジャンル最大のフォロワー数に成長した「日本ChatGPT研究所ノーベル」を運営する徳永勝里氏が登壇。今効果のあるChatGPTの使い方や、ChatGPTを仕事で活用する人が他者に使い方を教えたくない理由などが語られました。 結論は「習うより、慣れろ」 徳永勝里氏(以下、徳永):プロンプトエンジニアリングと呼ばれる技術は、適当にやっても効果はほとんど同じなんですよ。僕はそれをいろいろ試してみました。 例えば、こっちのかっこ({})の書き方より、点々(“”)とか、シャープシャープシャープ(###)のほうが良い書き方だよと言われていて、それはそうなのかもしれないんですが、実際にやってみ
はじめに 今携わっているプロジェクトで凄腕エンジニアさんと一緒に開発をさせていただいているのですが、その凄腕エンジニアさんから教えていただいた例外の話がとても勉強になり、 さらにこの例外の話を他のプロジェクトのエンジニアさんに伝えたところ、反応が良く、とても勉強になりました!という声をいただけたので、アウトプットしていきたいと思います。 (この記事の中で凄腕エンジニアさんのことはTさんと呼ぶことにします。) ※【凄腕エンジニアさんから学んだ例外の話】の補足 というQiita記事を書きました。 この記事を読み終わった後に疑問が残った人などは補足資料として読んでいただけると嬉しいです。 例外の考え方の源 Tさんの例外の考え方は http://diveintopython3-ja.rdy.jp/your-first-python-program.html#exceptions ↑こちらのPyth
はじめに この記事は、Merpay Tech Openness Month 2023 15日目の記事です。 こんにちは。メルペイ加盟店精算チームのバックエンドエンジニア@r_yamaokaです。 今日は現在自分がリードして取り組んでいるテストコードの改善について紹介したいと思います。 抱えている課題 私が所属している加盟店精算チームのマイクロサービスは加盟店さま向けサービスとして欠かせないものであり、メルペイ最初期から存在するサービスです。他のマイクロサービスにあまり無い特徴として多数のバッチ処理を行っている点が挙げられます。 お客さま(メルペイユーザー)がお店で行った決済は、一定の頻度で集計し決済手数料を差し引いた上で加盟店さまの銀行口座へ振り込むことになります。 最終的な振込金額を算出するまでの流れとしては 個々の決済金額のリコンサイル(会計マイクロサービスとの金額照合) 日次集計 締
ChatGPTのような対話型AIは、文章だけでなくコードや数式の生成にも対応しており、過去にはChatGPTに実際に使えるプロダクトキーを生成させることに成功した事例が報告されています。通常、AIはこうした指示には応じないようになっていますが、巧妙な方法を使うとChatGPTやGoogleのBardにWindows 10 ProやWindows 11 Proのインストールに使えるキーを出力させることが可能なことが判明しました。 ChatGPT, Google Bard Shares Generic Windows 11, Windows 10 Pro Keys (Updated) | Tom's Hardware https://www.tomshardware.com/news/chatgpt-generates-windows-11-pro-keys ChatGPT can now g
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く