本連載では、ブロックチェーンの基本的な仕組みを解説しながら、オンチェーンデータを分析するための基本的な手法について、全8回で紹介します。第4回となる今回は、オンチェーンデータ分析の手法としてSQLを用いることのメリットについて、SQLの背景にある概念や歴史などを交えながら解説していきます。データ分析のためのSQL SQLとは、もともとリレーショナルデ

関数型言語”兼”定理証明支援系Leanの環境構築

2023/07/26

ブックマーク

Leanとは Leanは普通の関数型言語であり、なおかつ定理証明支援系でもある大変パワフルな言語です。つまり原理上実行前にわかる性質は、型に埋め込んだり、頑張って自分で証明したりすることができます。そう考えるとワクワクしてきますね！またコンパイラフロントエンドのAPIを自由にユーザーが使えるので、標準の文法や意味論とまったく同じレベルで自分の拡張

GitLab（ギットラブ）とは？初心者でもわかる使い方ガイド

2023/07/06

ブックマーク

この記事では、GitLab とは？ギットラブの使い方や主要な機能などについて解説します。読者が GitLab を効果的に活用できるように、基本的な操作から今年導入された新機能まで、噛み砕いて分かりやすく説明していきます。目次 GitLab とは？ GitLab と GitHubの違いとは？ GitLab で何ができる？ GitLab のインストールと設定 GitLabの基本的な使い方 GitLabの主要な機能 GitLab の拡

イベント

注目のイベント

技術ブログ