Logica
Logica is an open source declarative logic programming language for data manipulation. Logica extends syntax of logic programming for intuitive and efficient data manipulation. It compiles to SQL thus providing you access to the power of SQL engines with the convenience of logic programming syntax. Examples One may say that for programming languages like Python and Java functions are the basic bui
論理プログラミング言語Logicaでデータサイエンス100本ノック
Googleが発表したOSSプロジェクトである論理プログラミング言語Logicaを使って、データサイエンス100本ノック(構造化データ加工編)の設問を解きながらどのような言語かを確認していく。 (BigQueryのクエリとして実行していく) 最初に、プログラミング言語Logicaの特徴を纏めておく。 論理型プログラミング言語: このカテゴリではPrologが有名 SQLにコンパイルされる: 現状BigQueryとPostgreSQLに対応 モジュール機構がある: SQLと比較した強み コンパイラはPythonで書かれている: Jupyter NotebookやGoogle Colabですぐ始められる Colabでチュートリアルが用意されているので、まずこちらからやると良いと思う。 コードの見た目は関係論理の記述に似ている。 事前に、データサイエンス100本ノックのテーブルデータをBigQu
計算モデル論2020
last modified:2020/09/01 (by K. Yamada) 2020前期 計算モデル論（山田） 講義資料 講義で使う資料を以下に示します． ガイダンス資料(pdf) 教科書： 猪股俊光，山田敬三： 計算モデルとプログラミング， 森北出版，2019，ISBN: 978-4-627-85471-0． 学習支援コーナー案内(pdf) 講義計画 ５月１９日（火）：第１回：オリエンテーション， 講義動画配信， 第１回レポート課題 ５月２６日（火）：第２回：有限状態機械(1)：順序機械， (数学の準備)， 講義動画配信， 第２回レポート課題 ６月２日（火）：第３回：有限状態機械(2)：有限オートマトン， 講義動画配信， 第３回レポート課題 ６月９日（火）：第４回：有限状態機械(3)：有限オートマトンの限界， 講義動画配信， 第４回レポート課題 ６月１６日（火）：第５回：チューリング
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Colaboratory