新しいページ

新しいページ
登録利用者を隠す | ボットを隠す | リダイレクトを表示
(最新 | 最古) (以後の50件 | ) (20 | 50 | 100 | 250 | 500 件) を表示

2024年4月25日 (木)

2024年4月24日 (水)

  • 04:012024年4月24日 (水) 04:01民事訴訟法第91条の3 (履歴 | 編集) ‎[1,523 バイト]Tomzo (トーク | 投稿記録) (新規)
  • 03:532024年4月24日 (水) 03:53民事訴訟法第91条の2 (履歴 | 編集) ‎[3,631 バイト]Tomzo (トーク | 投稿記録) (新規)
  • 01:552024年4月24日 (水) 01:55関数型リアクティブプログラミング (履歴 | 編集) ‎[23,520 バイト]Ef3 (トーク | 投稿記録) (この書籍は、関数型リアクティブプログラミング(FRP)の基礎から応用までを網羅した包括的なガイドです。 第1部では、関数型プログラミングの特徴や利点、不変性、高階関数などの概念を解説します。 第2部ではリアクティブプログラミングの基本や代表的なライブラリに焦点を当て、実践的な使用法を探求します。 第3部では、FRPの原則やイベント駆動型UIの設計、パフォーマンス最適化などを学びます。 第4部では、時間に関連した操作や無限ストリーム、モデル駆動アーキテクチャとの統合など、より高度なトピックに踏み込みます。 最後に第5部では、FRPの最新動向やマルチプラットフォームでの適用、エコシステムとコミュニティについて紹介します。 本書は関数型プログラミングとリアクティブプログラミングの融合に興味のある開発者や学習者にとって、理論と実践の両面からの知識を提供します。) タグ: 2017年版ソースエディター
  • 01:302024年4月24日 (水) 01:30時相論理 (履歴 | 編集) ‎[25,513 バイト]Ef3 (トーク | 投稿記録) (→‎導入と基礎: →‎時相論理の概要: 時相論理(Temporal Logic)は、時間に関連する論理学の一分野であり、命題や述語の真偽が時間的な要素に依存することを扱います。時相論理は、時点や時間の経過に関する論理的な性質を記述するための体系的な手法を提供します。命題論理と比較して、時相論理は時間の流れや時間的な関係を厳密に定式化し、分析するための枠組みを提供します。 時相論理では、時間をモデル化するための特別な演算子や記号が導入されます。これらの演算子を用いて、命題が過去、現在、未来のどの時点で成り立つかを明確に記述することが可能です。時相論理は、計算機科学、人工知能、リアルタイムシステムなどの分野で広く応用されています。) タグ: 2017年版ソースエディター
  • 00:512024年4月24日 (水) 00:51民事訴訟法第87条の2 (履歴 | 編集) ‎[1,598 バイト]Tomzo (トーク | 投稿記録) (新規)

2024年4月23日 (火)

2024年4月22日 (月)

2024年4月21日 (日)

  • 23:492024年4月21日 (日) 23:49Linux From Scratch (履歴 | 編集) ‎[45,655 バイト]Ef3 (トーク | 投稿記録) (→‎はじめに: *LFSプロジェクトの概要*/ Linux From Scratch (LFS) は、一から完全にLinuxシステムを構築するためのプロジェクトです。LFSでは、ソースコードからLinuxカーネル、ライブラリ、コンパイラ、ユーティリティなどのコンポーネントをすべて自力でビルドする手順が提供されています。 このプロジェクトの主な目的は、Linuxシステムの内部構造を理解することです。各コンポーネントの役割や相互関係を把握することで、Linuxのしくみを深く学ぶことができます。また、自分でカスタマイズしたシステムを構築できるため、セキュリティやパフォーマンスの最適化も可能になります。 LFSは主に学習の目的で利用されますが、組み込みシステムやサーバー、デスクトップ環境などにもカスタマイズしてインストールすることができます。ただし、高度なLinux知識が必要なため、初心者には難易度が高いプロジェクトとなります。) タグ: 2017年版ソースエディター
  • 11:582024年4月21日 (日) 11:58労働審判法第23条 (履歴 | 編集) ‎[1,678 バイト]Tomzo (トーク | 投稿記録) (新規)
  • 09:422024年4月21日 (日) 09:42労働審判法第22条 (履歴 | 編集) ‎[1,714 バイト]Tomzo (トーク | 投稿記録) (新規)
  • 02:012024年4月21日 (日) 02:01SPIR-V (履歴 | 編集) ‎[36,127 バイト]Ef3 (トーク | 投稿記録) (→‎はじめに: →‎SPIR-Vの概要と背景: SPIR-V (Standard Portable Intermediate Representation)は、汎用的な中間表現形式です。もともとは、Khronos Groupによって策定された次世代グラフィックスAPIである「Vulkan」で利用されることを目的に開発されました。しかし、その汎用性の高さから、近年では機械学習、汎用GPU計算(GPGPU)、レイトレーシングなど、幅広い分野で活用されるようになってきました。 SPIR-Vは、CPUアーキテクチャに依存しないバイナリ形式で、様々なグラフィックスAPI(OpenGL、Vulkan、DirectX)やコンピューティングAPIにおける中間表現として機能します。つまり、SPIRVはあらゆるGPUベンダーで動作可能な、ポータブルな中間表現なのです。 SPIR-Vは、OpenCL C、OpenGL/Vulkan GLSL、HLSL(DirectXシェーダー言語)などのグラフィックスやコンピューティングのソースコードから生成できます。) タグ: 2017年版ソースエディター

2024年4月20日 (土)

2024年4月19日 (金)

(最新 | 最古) (以後の50件 | ) (20 | 50 | 100 | 250 | 500 件) を表示