samba Appendix : powershell Appendix : LibreOffice Appendix : Octave Appendix : Gnuplot Appendix : Scilab Appendix : R Appendix : Microsoft Visual Studio Code Appendix : Microsoft Expression Web 4 Appendix : Bluegriffon Appendix : Seamonkey Appendix : latex Appendix : praat
Acrobat Reader Adobe- PDF を見開きや右綴じ左綴じで表示する方法 Adobe - PDF 文書内を検索する方法 （Acrobat DC）ー C. 複数の PDF を対象にした検索 （検索ウィンドウ）複数の PDF ファイルを対象にした文字検索 Adobe – 複数の PDF ファイルを対象にした文字検索複数の PDF ファイルを対象にした文字検索 日経Xtech – 複数のPDFファイルを対象に検索する複数の PDF ファイルを対象にした文字検索
Visual Studio MS-Visual Studio Visual Studio のドキュメント | Microsoft Learn Visual Studio をダウンロードいただきありがとうございます - Visual Studio Microsoft Visual Studio – Wikipedia Web フォームに新機能はないけど Visual Studio での対応が強化されるらしいので見てみた – rksoftware Visual Studio Community 2019 をHtmlエディタとして使用する。 HTML、CSS、JavaScriptをVisual Studioを使って、開発環境の構築からHelloWorldの出力まで – Qiita
aptana Aptana – Wikipedia Aptana Studio 3 のインストールと実行（Windows 上） AptanaでWebページ作成はここまでできる！：どこまでできる？ 無料ツールでWebサイト作成（1）（1/3 ページ） - ＠IT
WYSIWYM text editor - Lyx, WYMeditor https://en.wikipedia.org/wiki/LyX https://www.lyx.org/WebJa.Features多数の書式の読み込みおよび書き出し（LaTeX・PDF・Postscript・DVI・ASCII・HTML・OpenDocument・RTF・MS Wordその他） https://wiki.lyx.org/LyX/Manuals https://en.wikipedia.org/wiki/WYMeditor
GNU nano nano (テキストエディタ) – Wikipedia nano – Text editor Windowsユーザーに贈るLinux超入門(23) Vimより簡単なエディタ「nano」を使ってみよう _ TECH+ Nano editor 基本ショートカット – Qiita Cheatsheet for GNU nano
VLC media player VLC media player VLC for Android - Google Play のアプリ VLCメディアプレーヤー – Wikipedia VLC for Android Documentation_Android - VideoLAN Wiki オープンソースでクリーンなメディアプレイヤー VLC for Android _ Androidアプリ通信 アプツウ VLC for Android 使い方 _ Android スマホの使い方 初心者編 VLC for Androidの導入方法と使い方を紹介！ _ Aprico AndroidからNAS・PCの動画を直接再生する方法 _ TeraDas SMBでのファイル共有について - スマホからパソコンのデータを家庭... - Yahoo!知恵袋 VLC for Android 3.5.3 ローカルネットワーク（smb_upnp）の選択 CDの音楽をスマホに取り込む方法 全まとめ パソコンなしのやり方も【iPhone／Android】 _ アプリオ
YouTubeMusic 音楽を聴く（YT Music） _ arrows We オンラインマニュアル（取扱説明書） _ ソフトバンク 音楽を聴く（YT Music） Android スマホの音楽プレーヤーとは？ YouTube Music アプリの使い方などを解説 https://ja.wikipedia.org/wiki/YouTube_Music CDの音楽をスマホに取り込む方法 全まとめ パソコンなしのやり方も【iPhone／Android】 _ アプリオ
video editor ビデオ エディターでビデオを作成する - Microsoft サポートwindow11 – clipchamp OpenShot Video Editor – Wikipedia
Windows 11 ペイント Windows11のペイントでのレイヤの利用方法｜ソフトの利用方法｜各利用方法、マニュアル｜利用方法｜東京経済大学情報システム課 「ペイント」アプリになんとレイヤー機能、画像の透過にも対応へ – 窓の杜 Microsoft「ペイント」にレイヤー機能を導入、Windows Insiderでプレビュー開始 _ マイナビニュース ペイントで描き、創作し、編集する _ Microsoft の Windows ASCII.jp：Windows 11「ペイント」アプリは画像の切り抜き＆合成も簡単！
windows11 ocr Snipping Tool を使ってスクリーン ショットをキャプチャする -スクリーンショットの加工 – テキストをコピーまたは編集する- Microsoft サポート 写真からテキストを検出してコピーする - Microsoft サポート
Lean Lean (証明アシスタント) – Wikipedia Undergrad math in mathlib Undergrad math not in mathlib 「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は？ _ NEWSjp Lean4とは何か？次世代の定理証明ツールLean4の概要と特徴を徹底解説【完全ガイド・初心者向け】 | 株式会社一創 Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳 ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 – 技術書出版と販売のラムダノート Lean - 数学をプログラミングする #lean – Qiita leanによる定理証明AIエージェント遊戯 #lean – Qiita Lean 4に入門する – よーる lean-ja · GitHub はじめに - Lean by Example Seasawher (Kitamado) · GitHub lean4 のコード例と(日本語)解説を作成する AI駆動で学ぶ Lean 4 入門