型付きラムダ計算 - Wikipedia
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ () というシンボルを用いる型付き形式手法である。型付きラムダ計算は基礎的なプログラミング言語でもあり、MLやHaskellなどの型付き関数型言語の基盤であり、さらには型付き命令型プログラミング言語の間接的な基盤とも言える。また、カリー・ハワード同型対応によって数理論理学と証明論とも密接に関連しており、圏論のクラスの内部言語と見なすこともできる。例えば単純な型付きラムダ計算はデカルト閉圏 (CCC) の言語である。 ある観点から見れば、型付きラムダ計算は型を持たないラムダ計算を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。 様々な型付きラムダ計算がこれまで研究され
【Python】文字列をプログラムとして実行する（exec,eval,getattr,literal_eval） | 初学者DIYプログラミング入門
今回は、文字列の中に記載されたメソッドや関数を Python から実行する方法です。 exec、eval、 literal_eval 、getattr あたりを使うことで実現可能なのですが、呼び出し側（文字列を関数として呼び出す側）と呼び出された側（文字列に記述した式）での値の受け渡しなどは、他のサイトではあまり触れられていないので、この記事ではその点を中心に解説したいと思います。 「文字列をプログラムとして実行する」とは そもそも「文字列をプログラムとして実行する」というのは、例えば文字列として "myfunc(100)" という文字列が与えられた場合、「 myfunc(100) を実行する」と解釈して、myfunc(100)を実行するという事になります。 プログラムと言っても実際には関数に限ったものではなく、文字列をPythonのプログラムと解釈させて実行することが可能です。 文字列を
[初心者向け]破滅的なクソコードを書かないために意識したい3つのこと - Qiita
この記事で伝えたいこと ここでは、私が設計を勉強しながらコーディングした経験から、初心者でも簡単に実践できる簡単なルールを3つピックアップしました。 一つのクラスは150行以内に収める 循環参照はしない 継承はしない この3つを守れば、破滅的なクソコードであれば割と簡単に防げるかと思います。 この記事における「破滅的なクソコード」は「一切のリファクタリングの余地も残されていないほどのコード」を意味し、この記事の目的は、「破滅的なクソコード」から、「最低限リファクタリングすればなんとかなるコード」になる程度の手法を紹介することです。 マサカリは大歓迎ですがお手柔らかにお願いします。 読む上で留意して欲しいこと この記事はあくまで 「初心者のための破滅的なクソコードを書かないための簡単な方法論」 であって、「効率的で分かりやすい設計の方法論」ではありません。 この3つは「銀の弾丸」ではないです
![[初心者向け]破滅的なクソコードを書かないために意識したい3つのこと - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/c0e732482dbc1552e1955964a8af0367bf32fa55/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn.qiita.com%25252Fassets%25252Fpublic%25252Farticle-ogp-background-afbab5eb44e0b055cce1258705637a91.png%253Fixlib%253Drb-4.0.0%2526w%253D1200%2526blend64%253DaHR0cHM6Ly9xaWl0YS11c2VyLXByb2ZpbGUtaW1hZ2VzLmltZ2l4Lm5ldC9odHRwcyUzQSUyRiUyRnFpaXRhLWltYWdlLXN0b3JlLnMzLmFwLW5vcnRoZWFzdC0xLmFtYXpvbmF3cy5jb20lMkYwJTJGMzQ0MjY3JTJGcHJvZmlsZS1pbWFnZXMlMkYxNjE4ODcyMzg0P2l4bGliPXJiLTQuMC4wJmFyPTElM0ExJmZpdD1jcm9wJm1hc2s9ZWxsaXBzZSZiZz1GRkZGRkYmZm09cG5nMzImcz1hNTdkNDQwOWViZWU0NWRiYWJmNDQwZDg3ZDBkMDYzZA%2526blend-x%253D120%2526blend-y%253D467%2526blend-w%253D82%2526blend-h%253D82%2526blend-mode%253Dnormal%2526s%253D5bced1a572874be06b3adafed2ae6c40%3Fixlib%3Drb-4.0.0%26w%3D1200%26fm%3Djpg%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk2MCZoPTMyNCZ0eHQ9JTVCJUU1JTg4JTlEJUU1JUJGJTgzJUU4JTgwJTg1JUU1JTkwJTkxJUUzJTgxJTkxJTVEJUU3JUEwJUI0JUU2JUJCJTg1JUU3JTlBJTg0JUUzJTgxJUFBJUUzJTgyJUFGJUUzJTgyJUJEJUUzJTgyJUIzJUUzJTgzJUJDJUUzJTgzJTg5JUUzJTgyJTkyJUU2JTlCJUI4JUUzJTgxJThCJUUzJTgxJUFBJUUzJTgxJTg0JUUzJTgxJTlGJUUzJTgyJTgxJUUzJTgxJUFCJUU2JTg0JThGJUU4JUFEJTk4JUUzJTgxJTk3JUUzJTgxJTlGJUUzJTgxJTg0MyVFMyU4MSVBNCVFMyU4MSVBRSVFMyU4MSU5MyVFMyU4MSVBOCZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1wYWQ9MCZzPTdiN2EyMjc5YzVmMjg1OTkxMzg1ZWUxZDEwOWRhMGJk%26mark-x%3D120%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTgzOCZoPTU4JnR4dD0lNDBzYWthc3R1ZGlvXyZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1wYWQ9MCZzPTY0MTgwZDA5MjBmNWFhMTRhY2M3OGNjZjMzNDE3MDlh%26blend-x%3D242%26blend-y%3D480%26blend-w%3D838%26blend-h%3D46%26blend-fit%3Dcrop%26blend-crop%3Dleft%252Cbottom%26blend-mode%3Dnormal%26s%3D67f42f7083c19023c076ef370b845dcb)
ロブ・パイクが学んだプラグラミング・アドバイスとは？ デバッグするより先にまず頭で考える
これまで一番ためになったプログラミングのアドバイスは何ですか？ 過去を振り返ると、誰にだって教訓的なエピソードがあるのではないでしょうか。 著名なソフトウェアエンジニアであっても、それは例外ではないようです。Google に勤めるロブ・パイクは、UTF-8 や Go 言語の共同開発者として知られていますが、彼も駆け出しのころに先達から教訓を学んでいました。 ベル研究所に入所して間もないころ、ロブはデバッグするより先にまず頭で考える、という教訓をケン・トンプソンから学びました。これは、まさにプログラミングの極意の一つと言えるものではないでしょうか。 頭で考えることの重要性 ベル研究所で働き始めてからまだ１、２年しか経たないころ、ロブ・パイクはケン・トンプソンとペアプログラミングをしていました。タイピングの速いロブがキーボードを担当。ケン・トンプソンはロブの背後に立っていました。コーディングは
Software Design 2022年3月号 | 技術評論社
定価 1,342円（本体1,220円＋税10%） 1,476円（本体1,342円＋税10%） 発売日 2022.2.18［在庫なし］ 判型 B5 頁数 192ページ ISBN 978-4-297-11981-2 概要 第1特集 今さら聞けない暗号技術 セキュア通信を実現する公開鍵暗号のしくみ ネットワーク上の脅威の代表選手として「盗聴」「改ざん」「なりすまし」が挙げられます。これらのリスクを解消するために使われているのはどんな技術でしょうか。そう、暗号技術です。暗号技術は、情報の秘匿を目的とした機密性を実現する技術としてよく知られています。しかし、そのほかにも、データが正確であることを示す完全性や、対象データの証跡を残す否認防止、改ざんやなりすましがないかを示す真正性といった機能も保持しており、それぞれの目的でさまざまな暗号アルゴリズムが活用されています。 本特集で、これらの暗号技術の理論
同僚プログラマーの機嫌を損ねずにミスを指摘できる“魔法の質問”
関連キーワード 開発プロセス | プログラマー | プログラミング | プロジェクトマネジメント 幾つものメディアやブログが、プログラミングで何を重視すべきかを解説している。例えばネイサン・マーツ氏は、同氏のブログ「thoughts from the red planet」の「Suffering-oriented programming」というエントリ（投稿）で、 プログラムが正しく機能すること ソースコードが美しいこと プログラムの処理速度が速いこと という順番でプログラミングの目標を設定するように勧める。「機能すること、美しいこと、速いこと」はまさに本質を突いた名アドバイスだ。その言葉を初めて見たときから、私は心に刻んできた。 「機能すること」が最も重要なのは、ソースコードを解釈してもらう最も重要な「相手」がCPUだからだ。2番目が「美しいこと」なのは、CPUの次に重要な相手が、ソース
元・Java専門記者がLog4j 2脆弱性に見た「複雑性と魔神のかけら」 Javaの歴史とバザールの矛盾
元・Java専門記者がLog4j 2脆弱性に見た「複雑性と魔神のかけら」 Javaの歴史とバザールの矛盾（1/6 ページ） Javaのライブラリ「Apache Log4j 2」に深刻な脆弱性が発見されたことは記憶に新しい。1カ月以上経過した現在も、注意喚起や新たな情報提供が続いている。問題は完全に収束したとはいえない。 今回の記事の主題は脆弱性対策ではない。「Javaの歴史的経緯と、今回騒ぎになっている脆弱性の話を、うまく1本の記事にしてください」という編集部のオファーに応じて書いたものだ。記事の半分は「元・Java専門記者のナイショ話」である。現実の情報システムへの対処が必要な方は、まず下記ページから最新情報をチェックしていただきたい。 IPA Apache Log4j の脆弱性対策について(CVE-2021-44228) Apache Log4j 2公式ページ Log4j 2で今回問題
RFIDシステム導入バイブル
RFIDを利用した業務システム開発の心得 RFIDシステム導入バイブル（1） RFIDシステムの導入を成功させるにはどうすればいいのか？ 経験豊富なコンサルタントがノウハウを伝授する（2006/4/18） ・縁遠いRFIDシステムを身近なものにするために ・RFIDシステムを成功させるキーファクター ・RFIDの基本中の基本を確認する ・RFIDシステム本導入までの流れを把握する ・システム開発の全体工程のおけるRFIDシステム導入作業 RFIDシステム導入を成功させるポイント RFIDシステム導入バイブル（2） RFIDシステム導入の最初のフェーズに必要なものとは？ フィージビリティスタディや周波数、ハードウェアの選定を解説する（2006/5/23） ・なぜRFIDシステムの導入がうまくいかなかったのか ・RFIDシステムの導入を成功させるために ・フィージビリティスタディとはどういうも
RFIDシステムプログラミングバイブル 連載インデックス － ＠IT
RFIDシステム用プログラム開発の心得 RFIDシステムプログラミングバイブル（1） RFIDシステムに必要なプログラムの実装方法はベンダによってクセがある。代表的なベンダの製品ごとに心得を説く ・メーカーごとにプログラミングのクセがある ・UHF帯RFIDシステムの雄「モトローラ」 ・XR480-JPの基本情報 ・モトローラ機器のプログラミング ・モトローラ機器のモードとアクセスメソッド ・連載に共通なサンプルプログラムの仕様 モトローラ製「XP480-JP」のプログラミングを学ぶ RFIDシステムプログラミングバイブル（2） XP480-JPで動作するリーダ／ライタ用プログラムを開発する。読み取り方法とデータの格納方法を検討しよう ・XP480-JPのプログラミングのクセをおさらい ・サンプルプログラムのフローチャート ・サンプルプログラムの実行結果 ・メインモジュールのソースコードを
PythonのPySNMPの基本的な使い方 - Engineering Note
本記事では、PythonのPySNMPライブラリを使用して、SNMPに対応したIP機器などに要求するSNMPコマンドの基本的な使い方について学んでいきます。 SNMPとは PySNMPのインストール Ciscoルータの設定 snmpwalkコマンド snmpgetコマンド snmpsetコマンド 最後に 参考書籍 SNMPとは SNMP（Simple Network Management Protocol）とは、IP機器（サーバやルータなど）を管理するために1988年に導入されたプロトコルです。 SNMPを用いることで、サーバなどのCPUの使用率や温度状態をポーリングしたり、またルータなどのインタフェースダウンなど異常が発生した際にトラップ（Trap）と呼ばれるものを管理者（Manager）に送信することで、障害検知を容易にすることができます。 SNMPはこれまでにSNMPv1、SNMPv
System.Net 名前空間
最近のネットワークで使用されている多くのプロトコル用の単純なプログラミング インターフェイスを提供します。 System.Net 名前空間のクラスは Windows ストア スタイルのアプリケーションまたはデスクトップ アプリケーションで使用できます。 Windows ストア アプリで使用する場合、System.Net 名前空間のクラスはネットワークの分離機能の影響を受けます。この機能は、Windows Developer Preview によって使用されるアプリケーション セキュリティ モデルの一部です。 Windows ストア アプリによるネットワーク アクセスがシステムで許可されるようにするには、Windows ストア アプリのアプリケーション マニフェストで適切なネットワーク機能を有効にする必要があります。 詳細については、「Network Isolation for Window
Socket クラス (System.Net.Sockets)
例 次の例は、 クラスを Socket 使用して HTTP サーバーにデータを送信し、標準出力に ASCII 応答を出力する方法を示しています。 次の使用例は、ページ全体を受信するまで、呼び出し元のスレッドをブロックします。 private static void SendHttpRequest(Uri? uri = null, int port = 80) { uri ??= new Uri("http://example.com"); // Construct a minimalistic HTTP/1.1 request byte[] requestBytes = Encoding.ASCII.GetBytes(@$"GET {uri.AbsoluteUri} HTTP/1.0 Host: {uri.Host} Connection: Close "); // Create and
Visual C/C++用getoptでPOSIX的コマンドラインオプション解析 - 銀の弾丸
苦しんで覚えるC言語posted with amazlet at 15.04.27MMGames 秀和システム 売り上げランキング: 3,709 Amazon.co.jpで詳細を見る POSIXのgetoptは文化遺産。コマンドラインオプション解析の標準ですから。Windowsでは argc と argv を直接解析しがちですが、途端にmainがカオスになってしまうんですよね。 カオスになりつつ「まあいいか」で、増改築を繰り返していると、そのうち「モウダメダー...ボクハイマナニヲヤッテルンダー」的な状況に・・・ てなことで、怒りに任せてPOSIX互換のWindows向けgetoptをゼロから書きましたので、GitHubで公開（以下リンク）してます。 どうぞご自由にお使いください。 github.com 長いオプションのgetopt_long_onlyには今のところ対応していません。 そも
TCP/IP 生ソケット - Win32 apps
生ソケットは、基になるトランスポート プロバイダーへのアクセスを許可するソケットの一種です。 このトピックでは、生のソケットと IPv4 および IPv6 プロトコルについてのみ説明します。 これは、ATM を除く他のほとんどのプロトコルが生ソケットをサポートしていないためです。 生のソケットを使用するには、使用されている基になるプロトコルに関する詳細情報がアプリケーションに必要です。 IP プロトコルの Winsock サービス プロバイダーは、SOCK_RAWのソケット 型 をサポートできます。 Windows に含まれる TCP/IP 用の Windows Sockets 2 プロバイダーでは、この SOCK_RAW ソケットの種類がサポートされています。 このような生ソケットには、次の 2 つの基本的な種類があります。 最初の型は、Winsock サービス プロバイダーによって認識
ネットワークインタフェース
Documentation Home > ネットワークインタフェース ネットワークインタフェースBook Informationはじめに第 1 章 ネットワークインタフェースとはSunOS 5.8 におけるネットワーキングOSI (開放型システム間相互接続) 参照モデルOSI 層の定義トランスポート層トランスポート層インタフェース (TLI)第 2 章 ソケットインタフェースソケットはマルチスレッドに対して安全SunOS 4 のバイナリ互換性ソケットの概要ソケットライブラリソケットタイプインタフェースセットソケットの基本的な使用ソケットの作成ローカル名のバインド接続の確立接続エラーデータ転送ソケットを閉じるストリームソケットの接続データグラムソケット入出力の多重化標準のルーチンホスト名とサービス名hostent - ホスト名netent - ネットワーク名protoent - プロトコル
第 2 章 ソケットインタフェース (ネットワークインタフェース)
第 2 章 ソケットインタフェース この章では、ソケットインタフェースについて、プログラム例を示して具体的に説明します。 「ソケットの概要」 「ソケットの基本的な使用」 「標準のルーチン」 「クライアントサーバープログラム」 「拡張機能」 ソケットはマルチスレッドに対して安全 この章で説明するインタフェースは、マルチスレッドに対して安全です。ソケット関数の呼び出しを含むアプリケーションは、マルチスレッド対応のアプリケーションで自由に使用できます。しかし、アプリケーションに有効な多重度は指定されていません。 SunOS 4 のバイナリ互換性 SunOS 4 以降の主な変更は、SunOS 5 リリースにも継承しています。パッケージにバイナリ互換性があるため、動的にリンクされた SunOS 4 ベースのソケットアプリケーションは SunOS 5 でも実行できます。 コンパイル行で、ソケットライブ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
京大のスパコンでファイル約77TB分が消失、実行中のスクリプト更新で誤動作
GitHub - etingof/pysnmp: Python SNMP library
PySNMP 7 Homepage
System.Net.Sockets 名前空間