ソフトコンピューティングとは ソフトコンピューティングとはあいまいさを許容し、むしろそれを活かして過度な精密性の追求を避けることで扱いやすさ、頑健性、低コスト性などを目指す情報処理手法のことを差します。具体的には、ファジィ理論、ニューラルネットワーク理論、遺伝的アルゴリズム、カオス理論、学習理論などさまざまな分野が含まれます。 更新情報 2006/01/01 サーバ移転に伴い、サイトのリニューアルを行いました。 ※コンテンツの更新はありません。
SoftComputing lab.
ソフトコンピューティングとは ソフトコンピューティングとはあいまいさを許容し、むしろそれを活かして過度な精密性の追求を避けることで扱いやすさ、頑健性、低コスト性などを目指す情報処理手法のことを差します。具体的には、ファジィ理論、ニューラルネットワーク理論、遺伝的アルゴリズム、カオス理論、学習理論などさまざまな分野が含まれます。 更新情報 2006/01/01 サーバ移転に伴い、サイトのリニューアルを行いました。 ※コンテンツの更新はありません。
マイクロソフト 勉強会キット - Microsoft Power to the PRO
すべての Microsoft 製品 Global Microsoft 365 Teams Copilot Windows Surface Xbox セール 法人向け サポート ソフトウェア Windows アプリ AI OneDrive Outlook Skype OneNote Microsoft Teams PC とデバイス Xbox を購入する アクセサリ VR & 複合現実 エンタメ Xbox Game Pass Ultimate Xbox とゲーム PC ゲーム 映画とテレビ番組 法人向け Microsoft Cloud Microsoft Security Azure Dynamics 365 一般法人向け Microsoft 365 Microsoft Industry Microsoft Power Platform Windows 365 開発者 & IT Microso
Codecademy Labs
Right now, Labs is a really easy way for you to play with Ruby, Python, and JS without needing to download an editor. In the future, you'll see more cool experiments on the Labs section of our site. It works offline - see what happens when you turn off your internet access in the middle of a session You can share your code snippets with friends and save your session You can download the code you'v
The Scala Programming Language
val fruits = List("apple", "banana", "avocado", "papaya") val countsToFruits = // count how many 'a' in each fruit fruits.groupBy(fruit => fruit.count(_ == 'a')) for (count, fruits) <- countsToFruits do println(s"with 'a' × $count = $fruits") // prints: with 'a' × 1 = List(apple) // prints: with 'a' × 2 = List(avocado) // prints: with 'a' × 3 = List(banana, papaya)
Learn to Code - for Free | Codecademy
Grow in your career and unlock new opportunities by learning in-demand skills in AI, data, coding, cybersecurity, and more. Transform your team with Codecademy Teams trainingHelp everyone on your team build job-ready skills with a plan that offers flexible content assignment, progress tracking, and more.
Islamic spells for love inter caste inter religion marriage
Code Project - For Those Who Code
MacRuby: The Definitive Guide
Thank You! Open Feedback Publishing System (OFPS) is now retired. Thank you to the authors and commenters who participated in the program. OFPS was an O'Reilly experiment that demonstrated the benefits of bridging the gap between private manuscripts and public blogs. Readers gained access to in-progress O'Reilly manuscripts and were able to communicate suggestions with the authors, follow others'
檜山正幸のキマイラ飼育記 (はてなBlog)
2025-10-17 レノボとThinkPadにはもうガッカリだぜ（サポートのメール全文公開） 日常 僕は、ThinkPad がIBM製品だった時代から今まで、ThinkPad をずっと使い続けています。次の写真の下側のノートPCは ThinkPad X1 Carbon Gen 12 で、上に載っている汚れた箱は ThinkPad 701C （バタフライキーボード）の模型の箱です。模型は ThinkPad 10周年… 2025-10-16 ヒルベルトのイプシロン記号とボトム 雑記／備忘 「ヒルベルトのイプシロン記号のうまい使い方」において、ヒルベルトのイプシロン記号を集合ではなくて集合族に作用させると具合がいい、という話をしました。このことを別な側面から見てみます。$`A`$ が空でない集合のとき、$`\varepsilon\, A`$ は、$`A`$… 2025-10-14 また「普遍性
Category Theory for the Java Programmer
[Edit May 11, 2012: I’ve got a whole blog on Category Theory in JavaScript.] There are several good introductions to category theory, each written for a different audience. However, I have never seen one aimed at someone trained as a programmer rather than as a computer scientist or as a mathematician. There are programming languages that have been designed with category theory in mind, such as Ha
ディペンダブル・システムのための形式手法の実践ポータル
このサイトは、形式手法の普及促進を目的として、経済産業省「新世代情報セキュリティ研究開発事業」の成果やその後の関連動向等を掲載しています。
形式手法実践ポータル | Formal Methods User Group
「形式手法（フォーマルメソッド）」は，数理論理学等に基づき品質の高いソフトウェアを効率よく開発するための科学的・系統的アプローチの総称です．形式手法においては，システムの注目する側面を正確に，曖昧さのないモデルで表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証を行います．その結果，曖昧な理解や誤りを早期に発見し手戻りを防いだり，分析・検証により品質を高めたりすることができます． 形式手法におけるツールの充実や，ソフトウェアの品質に対する要求の高まりを受けて，形式手法は改めて注目されてきています．ただし，形式手法・ツールにはその目的に応じて多種多様な種類があり，また個々の手法・ツールを効果的に用いるためには注意深く適用方法を検討する必要があります． このサイトでは，形式手法の利用を促進することを目指し，目的の異なる様々な
人工知能に関する断想録
Deep Learningの訓練終了など任意のメッセージを特定のSlackチャネルに投稿できるボットを作りました。 Yatta Kun プログラミングは不要で curl というコマンドラインツールから簡単に投稿できるので非常に便利です。可愛いくて便利なので作り方を紹介します。 職場などでみんなが使っているワークスペースで実験すると迷惑がかかる可能性があるので、最初は個人の実験用ワークスペースを作ってしまうのが良いと思います。無料でできます。 1. Incoming Webhookをインストール SlackアプリのページからIncoming Webhookをインストールします。Slackアプリページは、 https://[workspace name].slack.com/apps/ から行けます。 workspace name はワークスペース名です。 Incoming Webhook で
YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。
不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証明の一部 停止問題の解決不可能性についてのチューリングの証明 LISP式がエレガントであることを証明できないというチャイティンの証明 ライプニッツ「役に立たないパラドックスは無い」（チャイティン「知の限界」） ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっただろう」（ホフスタッター「メタマジック・ゲーム」） 次の2冊の本はLispといってもSchemeのようなオリジナル言語が使われている。ここではCommon LispとEmacs Lisp、M
マンガで分かる JavaScriptプログラミング講座
はじめに 「マンガでわかるJavaScript」は、難しそうに思えるプログラムを、簡単そうに見えるマンガで解説するという初心者向けの入門講座です。 架空の高校生たちに教える形式で、プログラムの基礎から応用を、解説していきます。一通りのマンガを読めば、かなり実践的なところまで、プログラムを書けるようにしていきます。 （マンガは、左上から右下へと読みます） プログラムというと、けっこう大変そうに思えますが、この講座のテーマは「面倒くさいことを楽にする」です。面倒臭がりで、手抜き大好きの女子高生を主人公にして、楽しくプログラムを学んでいくことにします。 主な対象読者は「これからプログラムを学んでみたい人」「Webの世界に関わっていてJavaScriptを学んでみたい人」「昔JavaScriptを触っていたけど最新のトレンドが分からないので改めて学んでみたい人」などです。初心者だけでなく、Webデ
SapporoWorks
Welcome to SapporoWorks! We create stimulating network programs. By a demand from user, SapporoWorks evolves. Please note that the SAPPOROWORKS Web Site has moved! The new address is http://www.sapporoworks.ne.jp/spw/ If your browser supports it, you will be automatically redirected to the new page in a few seconds. If you are not redirected, please click on the new address shown above.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Discover gists
オブジェクト倶楽部 - TOPページ
サービス終了のお知らせ
IPA/ISEC セキュア・プログラミング講座
DNA as a logic operator - Nature