Next
No newer accessible resource.
lkjscript ブログ 供養2 ~ AIエージェントを前提に設計したプログラミング言語「lkjscript」を開発しています
ソフトウェアの作成や保守に、AIエージェントが関わる場面が増えてきました。しかし、現在広く使われている言語の多くは、人間が読み書きすることを前提に作られています。そのため、エージェントが書いたコードが型や所有権の規則を満たしているか、...
Next
No newer accessible resource.
めっちゃ途中です。志半ばです。
ChatGPTにリストを用意させたものをベースに削ぎ落としていく感じで作っています。
全体で1000行強ありまして、やっと500行ほど確認し終えたので、ひとまずその分だけでも記録しとくかーって感じです。
知っているかどうか、日によって揺らぎがあることは間違いないと思いますが、なんというか、勘弁してください。
情報技術(IT)
コンピューター
ハードウェア
ソフトウェア
オペレーティングシステム(OS)
アプリケーション
プログラム
プログラミング
ソースコード
バイナリ
ビット
バイト
2進数
16進数
文字コード
ASCII
Unicode
UTF-8
UTF-16
文字化け
改行コード
エンディアン
ファイル
ディレクトリ
拡張子
パス
絶対パス
相対パス
メタデータ
アーカイブ
圧縮
可逆圧縮
非可逆圧縮
暗号化
バックアップ
リストア
同期
インポート
エクスポート
クリップボード
ショートカットキー
コマンドラインインターフェース(CLI)
グラフィカルユーザーインターフェース(GUI)
テキストユーザーインターフェース(TUI)
アクセシビリティ
ユーザーインターフェース(UI)
ユーザーエクスペリエンス(UX)
オープンソースソフトウェア(OSS)
フリーソフトウェア
プロプライエタリソフトウェア
CPU
GPU
NPU
TPU
マザーボード
チップセット
SoC
RAM
ROM
VRAM
SSD
HDD
NVMe
SATA
PCI Express(PCIe)
USB
Thunderbolt
HDMI
DisplayPort
NIC
MACアドレス
クロック周波数
コア
ハードウェアスレッド
同時マルチスレッディング(SMT)
キャッシュメモリ
L1キャッシュ
L2キャッシュ
L3キャッシュ
メモリ帯域幅
デュアルチャネル
ECCメモリ
TDP
オーバークロック
サーマルスロットリング
ベンチマーク
ファームウェア
BIOS
UEFI
Secure Boot
TPM
ブートローダー
パーティション
MBR
GPTパーティションテーブル
RAID
NAS
無停電電源装置(UPS)
ハイパーバイザー
GPUパススルー
Linux
Unix
Windows
macOS
Android
iOS
カーネル
ユーザー空間
カーネル空間
システムコール
POSIX
プロセス
スレッド
プロセスID(PID)
親プロセス
子プロセス
デーモン
サービス
標準入力
標準出力
標準エラー出力
パイプ
リダイレクト
環境変数
終了コード
シグナル
割り込み
コンテキストスイッチ
スケジューラー
マルチタスク
プロセス間通信(IPC)
共有メモリ
メモリマップ(mmap)
仮想メモリ
ページング
ページフォールト
スワップ
Out of Memory(OOM)
ファイルディスクリプター
ソケット
ファイルシステム
マウント
シンボリックリンク
ハードリンク
ext4
Btrfs
ZFS
NTFS
Linuxディストリビューション
Ubuntu
Debian
Arch Linux
CachyOS
Gentoo
Fedora
NixOS
パッケージマネージャー
apt
pacman
Nix
シェル
Bash
Zsh
Fish
PowerShell
sudo
root
ファイルパーミッション
chmod
chown
systemd
systemctl
journalctl
cron
tmux
SSH
SCP
SFTP
rsync
curl
wget
grep
sed
awk
仮想化
仮想マシン(VM)
KVM
QEMU
Proxmox VE
コンテナ
Docker
Docker Compose
コンテナイメージ
コンテナレジストリ
ボリューム
LXC
Incus
名前空間(namespaces)
ネットワーク
インターネット
イントラネット
LAN
WAN
イーサネット
Wi-Fi
SSID
アクセスポイント
ルーター
スイッチングハブ
モデム
光回線終端装置(ONU)
IPアドレス
IPv4
IPv6
グローバルIPアドレス
プライベートIPアドレス
固定IPアドレス
サブネット
サブネットマスク
CIDR
デフォルトゲートウェイ
DHCP
DNS
TCP
UDP
パケット
ポート番号
ポートフォワーディング
NAT
UPnP
VLAN
VPN
トンネリング
WireGuard
Tailscale
NetBird
MTU
帯域幅
スループット
レイテンシ
ジッター
パケットロス
ルーティング
クライアント
サーバー
クライアントサーバーモデル
ピアツーピア(P2P)
ドメイン
サブドメイン
URL
URI
DNSレコード
Aレコード
AAAAレコード
CNAMEレコード
TXTレコード
DNSキャッシュ
TTL
HTTP
HTTPS
HTTPメソッド
HTTPステータスコード
HTTPヘッダー
リクエストボディ
レスポンスボディ
Content-Type
MIMEタイプ
クエリパラメーター
Cookie
セッション
WebSocket
WebRTC
TLS
証明書
認証局(CA)
Let's Encrypt
ACME
プロキシ
リバースプロキシ
ロードバランサー
コンテンツ配信ネットワーク(CDN)
オリジンサーバー
SMTP
メールリレー
Webhook
認証
認可
識別
アクセス制御
最小権限の原則
ゼロトラスト
シングルサインオン(SSO)
多要素認証(MFA)
ワンタイムパスワード(OTP)
パスキー
OAuth 2.0
OpenID Connect(OIDC)
アクセストークン
リフレッシュトークン
APIキー
シークレット管理
ロールベースアクセス制御(RBAC)
公開鍵
秘密鍵
共通鍵暗号
公開鍵暗号
電子署名
ハッシュ関数
ソルト
SHA-256
AES
RSA
楕円曲線暗号
ファイアウォール
Web Application Firewall(WAF)
DDoS攻撃
SQLインジェクション
クロスサイトスクリプティング(XSS)
リモートコード実行(RCE)
脆弱性
CVE
ゼロデイ攻撃
サプライチェーン攻撃
サンドボックス
脅威モデリング
C言語
C++
Rust
Python
JavaScript
TypeScript
Java
Kotlin
Swift
Go
Zig
C#
F#
Haskell
OCaml
Scala
Ruby
PHP
Lua
Perl
R言語
Dart
Common Lisp
Scheme
Smalltalk
Pascal
Fortran
COBOL
Assembly
WebAssembly(Wasm)
Scratch
SQL
HTML
CSS
JSON
YAML
TOML
XML
CSV
Markdown
LaTeX
Node.js
Deno
Bun
JVM
.NET
変数
定数
リテラル
演算子
式
文
スコープ
名前解決
シャドーイング
関数
引数
戻り値
副作用
純粋関数
高階関数
無名関数(ラムダ式)
再帰
末尾再帰
カリー化
部分適用
遅延評価
短絡評価
イテレーター
ジェネレーター
パターンマッチ
例外処理
エラーハンドリング
アサーション
プリコンディション(事前条件)
ポストコンディション(事後条件)
不変条件
モジュール
パッケージ
ライブラリ
フレームワーク
依存関係
循環依存
抽象化
カプセル化
継承
合成(コンポジション)
オブジェクト指向プログラミング
関数型プログラミング
手続き型プログラミング
宣言型プログラミング
メタプログラミング
ドメイン固有言語(DSL)
型システム
静的型付け
動的型付け
型推論
型検査
型安全性
プリミティブ型
構造体
列挙型(enum)
タプル
ジェネリクス
トレイト
インターフェース
null
Option型
Result型
所有権
借用
ライフタイム
ムーブセマンティクス
可変性
イミュータブル
参照
ポインター
参照カウント
ガベージコレクション(GC)
メモリリーク
ダブルフリー
スタック
ヒープ領域
並行処理
並列処理
非同期処理
async/await
Promise
Mutex
アトミック操作
データ競合
デッドロック
コンパイラ
インタープリター
ランタイム
字句解析
トークン
構文解析
抽象構文木(AST)
具象構文木(CST)
意味解析
中間表現(IR)
制御フローグラフ(CFG)
静的単一代入形式(SSA)
バイトコード
機械語
命令セットアーキテクチャ(ISA)
x86-64
ARM
RISC-V
SIMD
AVX
レジスター
レジスター割り当て
スタックフレーム
ABI
外部関数インターフェース(FFI)
リンカー
静的リンク
動的リンク
共有ライブラリ
実行可能ファイル
ELF
デバッグシンボル
ソースマップ
JITコンパイル
AOTコンパイル
インライン展開
定数畳み込み
デッドコード除去
共通部分式除去
ループ展開
自動ベクトル化
リンク時最適化(LTO)
インクリメンタルコンパイル