❌

ノーマルビュー

Received — 2026年3月30日 ⏭ ポータル

Idrisでビジネスロジックを書く場合どのように証明を書けるのか気になった

✇Qiita - 人気の記事
著者: ssc-dninomiya
2026年3月30日 09:02
背景 最近、輪読会でIdrisの勉強をしました。 教材はプログラング言語Idrisに入門させたい（v0.9）を使ったのですが、ド・モルガンの法則等の証明はとても興味深かったです。 証明を書くことで、単体テスト等で確認していたことがコンパイラで賄える点は非常に便利だと感じま...

AIネイティブな時代への準備

✇Qiita - 人気の記事
著者: jw-automation
2026年3月29日 22:37
Codingエージェントの進化が日々凄まじいですが、自分の肌感覚としても感じている、今年～来年のメイントレンドになりそうな事をまとめてみました。 領域や組織規模によるので一概には当然言えないですが、簡単な社内での振り返りやディスカッションのきっかけにして頂ければ嬉しいです。...

セキュリティコンサルタント1年目が最初に身につけるべき「情報の読み解き方」

✇Qiita - 人気の記事
著者: Intect-i
2026年3月29日 11:44
TL;DR 技術知識だけでは「事実の要約」止まり。顧客が求めるのは「判断材料と提案」 3つの問い（背景・目的・効果）を立てるだけで、情報の読み解き方が変わる 毎週のJPCERT/CC Weekly Reportで繰り返し練習できる 対象読者 セキュリティコンサルタ...

個人開発者がVercelを無料で使い倒す方法【初心者向け完全ガイド】

✇Qiita - 人気の記事
著者: felix-jp-studio
2026年3月29日 08:59
個人開発者がVercelを無料で使い倒す方法 個人開発者にとって、Vercelは最強のホスティングプラットフォームの一つです。無料プランでも十分な機能が使えるため、サイドプロジェクトや学習用アプリの公開に最適です。 今回は、Vercelの無料プランを最大限活用する方法を初...
❌