<body> </body>
README file for net-snmp Version: 5.10 DISCLAIMER The Authors assume no responsibility for damage or loss of system performance as a direct or indirect result of the use of this software. This software is provided "as is" without express or implied warranty. TABLE OF CONTENTS Disclaimer Table Of Contents Introduction * Supported Architectures Availability Web Page * Installation Copying And Copyri
プログラミングの型システムに関する記事を読んでいると、共変や反変といった用語が出てくることがある。 TypeScript や Flow についての記事でも、見かけることがある。 それらは TypeScript を使う上で必須の知識ではないが、把握しておくに越したことはない。 この記事では、TypeScript を題材にして、変性について説明していく。 TypeScript に関する議論を理解できるようになることがこの記事の目的であり、より詳細な、学術的、数学的な内容には踏み込まない。 この記事の内容は、TypeScript のv3.9.5で動作確認している。 変性 変性(variance)とは、任意の型Tに対してどのような性質を持つのか示したものであり、以下の 4 種類がある。 不変性(invariance) Tそのものが必要 共変性(covariance) Tそのものか、そのサブタイプが
経済産業省は11月22日、システム開発時に使う設計書・仕様書などの「作業生産物」のレビュー工程についてJIS規格を制定したと発表した。仕様書などの見直し方や観点などを規格化し、ソフトウェアの品質向上や開発の効率化を促す。 「JIS X 20246」は、設計書・仕様書の見直し作業を「計画作業」「レビューの立ち上げ」「個々人のレビュー」「要検討項目の共有および分析」「修正作業および報告作業」の順に整理し、実行するべきタスクや手順を規定するもの。システム開発や試験、保守などの場面で作るあらゆる仕様書に適用可能。 レビューの曖昧さをなくすため、「目的」「役割」などのレビューの観点10種、「執筆者確認」「同僚との机上確認」などのレビュー手法9種を定めた。JIS制定により、組織や個人のノウハウに依存することなく一定水準のレビューができるようになり、ソフトウェアなどの制作物の品質向上につながるとしている
Parsing Expression Grammar(PEG)は、分析的形式文法の一種であり、形式言語をその言語に含まれる文字列を認識するための一連の規則を使って表したものである。PEGは再帰下降構文解析を文法を示すためだけに純粋に図式的に表現したものと見ることもでき、具体的な構文解析器の実装やその用途とは独立している。 PEGにおける構文(文法)の定義は文脈自由文法のバッカス・ナウア記法によるそれに似ているが、文脈自由文法では一般に「|」(縦棒、バーティカルバー)で表される「これらのうちどれか」ではなく、「最初の解析がうまくいったらそれを、失敗なら次を順に試してゆき、成功したものを採用」(「/」であらわす)という意味を使う。 このため、文脈自由文法とは異なり、PEGには曖昧さは存在しない。文字列を構文解析する場合、正しい構文木は常に1つしかない。このためPEGはコンピュータ言語の構文解析
This is an index to notable programming languages, in current or historical use. Dialects of BASIC (which have their own page), esoteric programming languages, and markup languages are not included. A programming language does not need to be imperative or Turing-complete, but must be executable and so does not include markup languages such as HTML or XML, but does include domain-specific languages
Flask(フラスク)は、プログラミング言語Python用の、軽量なウェブアプリケーションフレームワークである。標準で提供する機能を最小限に保っているため、自身を「マイクロフレームワーク」と呼んでいる。Werkzeug WSGIツールキットとJinja2テンプレートエンジンを基に作られている。BSDライセンスで公開されている。 Flaskは、標準で提供する機能を最小限に保っているため、自身を「マイクロフレームワーク」と呼んでいる。Flask自身は、他のフレームワークがしばしば持っているような、データベース抽象化レイヤやフォーム値の検証などの機能を持たない。これは、どんなWebアプリケーションにも適合する良い基盤を作るための設計判断だとしている(例えば、テンプレートエンジンはほとんどのWebアプリケーションで有用だが、関係データベース等はすべてのアプリケーションが必要とするものではない)[2
Visual Studio 2022正式リリース。初の64ビット化による高速化、実行中のアプリにコード変更が反映される「ホットリロード」、.NET 6対応など新機能 下記は正式リリースを発表した製品担当のAmanda Silver氏のツイートです。 Visual Studio 2022 is out! The 1st 64-bit release is the fastest yet. Goodies like Hot Reload for C# & C++, AI code completion and refactoring via IntelliCode, & better support for cross-plat apps with .NET MAUI and C++! #HappyCoding #VisualStudio2022 https://t.co/OBlaaTHzGw
論文は電子情報通信学会の論文誌『IEICE Transactions on Information and Systems, Vol.E105-D No.1』で発表しており、論文名は「Analyzing Web Search Strategy of Software Developers to Modify Source Codes」(ソフトウェア開発者のソースコード修正時におけるWeb検索戦略の分析)となる。 方針のあるなしでプログラムの修正速度を比較 角田氏らの研究グループは「ソフトウェア開発で必要となるさまざまな技術の多くはインターネットで公開されており、それらの情報を適切に検索できるかどうかでソフトウェアの開発効率が変わってくる。開発効率を向上させる検索方針が明らかになれば、開発全体の生産力を向上させられるだろう」と述べている。 同研究グループは「修正すべき点のあるプログラム」を用
いつもはてなブックマークをご利用いただきありがとうございます。 現在、Android 12がインストールされた端末において、Androidアプリ「はてなブックマーク」で記事を開こうとするとクラッシュする不具合が発生しています。 開発チームは原因を把握しているものの、現状では解決が困難なことが分かっています。対応ができる状況になり次第、対応をおこなう予定です。 不具合が発生した場合、アプリを再インストールすることで一時的に回避することができますが、再度発生することもあります。 なお、この問題はAndroid 11以下では起きないことを確認しています。 問題が解決する間、ご不便を申し訳ございませんが、対応までしばらくお待ちください。 クラッシュの一時的な回避方法について ( 2021年10月28日追記) 問題が解決するまでの間、アプリの設定や使い方を工夫することでクラッシュを回避できますので、
正規表現の"正規"って何 ある時ふと思いました。 「正規表現の"正規"って何だろう?」 「何を根拠に"正規"を名乗っているのか?」 と。 「誰かが『これが正規の表現だ』と言ったはず」で、 「それは周りにどうやって"正規"だと認められたのだろう」 ということが気になったので調べてみました。 "正規表現"という名前でなくて、"ジャックさんの表現"とか"記号ごちゃごちゃ表現"だったらこんな疑問も持たなかったのですけど。 数学における"正規"とは 一般に"正規"というと、"正規品"や"正規の手順"といったように"本物の(genuine)"や"公式な(official)"といった意味がありますが、数学の"正規"はちょっと違います。 数学で"正規"(および"正則"、英語では"regular"または"non-singular")は、ある概念に強い制限をかけたもの、という意味です。強い制限をかけたものは取
ビデオ会議の機能ばかりでなく、ビジネスチャットができる「Teams」は、手軽に小さなグループ(チーム)を作成できる。auカブコム証券でもこのコロナ禍において大活躍し、一気に利用率が伸びた。ただ誰もが簡単にチームを作れてしまうため、管理できる仕組みやルールを持たないと問題も起こりやすい。チーム作りの基準がぶれて意味なくチームを作ってしまったり、廃れたチームがいつまでも残されたりしてしまう。こうした管理の仕組みやチーム作りのルールなどを適用するのに、Power Platformを活用している。 登録と管理を容易にする 社内のネットワークやITの運用を支えるメンバーの一人であるOさんは、Teamsのチームについて悩んでいた。チーム作りを自由にさせてしまうと、いわゆる「ぐじゃぐじゃな」で雑な状態になってしまう。そのチームの管理者は誰なのか、アクティブなチームと非アクティブなチームはどれなのかなどが
覚書です。 dllやexeの依存関係を調べるツールでDependency Walker(depends.exe)が有名だと思います。 (http://www.dependencywalker.com/) ただ、これをWindows 10で使用してると結構固まることが多く詰んでいた人がいるかもしれません。 Dependenciesを使いましょう。Dependenciesは2017年に公開されたアプリケーションで、Dependency WalkerをC#で書き直してオープンソースにしたものだそうです。 Dependencies (https://github.com/lucasg/Dependencies) これを使えば、快適に依存関係を調べられるぞ!
普段JavaでWeb開発していますが、2年1回ぐらいの頻度でDLLを修正する必要があります。 そのメモ書きです。 DLLの依存関係を調べる Visual Studioのdumpbinコマンドで確認できます。 http://yohshiy.blog.fc2.com/blog-entry-65.html https://msdn.microsoft.com/ja-jp/library/e16161bd.aspx 当たり前ですが、依存するDLLが存在しないと、動きません。 b.dllを参照しているa.dllがあって、このa.dllをJavaから実行するとします。 このとき、b.dllがないと「a.dllが見つからない」という旨のメッセージが表示されます。 私はこのエラーに悩まされ、「依存するDLLがないだけ」と気づくのに結構時間を使ってしまいました。 MSVCP100.dllが見つからない 「M
Created by Vic Metcalfe, Andrew Gierth and other contributers (Transrated into Japanese by: Keisuke Mori)May 21, 1998 この文書は、UNIX 上での ソケットインターフェースを用いた TCP/IP アプリケーションプログラミングについて、頻繁に行われる質問とその 解答を集めたものです。 1. 一般的な情報と概念 1.1 更新情報 1.2 この FAQ について 1.3 この FAQ はどのような人向けでしょうか? 1.4 ソケットって何ですか? 1.5 ソケットはどのように動作するのでしょうか? 1.6 [ある本の題名] という本のソースコードはどこから取得できますか? 1.7 どこでもっと情報を得ることができますか? 2. クライアントとサーバ(TCP/SOCK_STREA
リンカーは、増分リンク情報に .ilk データベース ファイルを作成して使用します。 解説 増分リンクを行う場合、LINK は最初の増分リンク中に作成した .ilk ステータス ファイルを更新します。 このファイルは、ターゲット EXE または DLL ファイルと同じベース名を持ち、拡張子 .ilk。 その後の増分リンク中に、LINK によって .ilk ファイルが更新されます。 .ilk ファイルがない場合、LINK はフル リンクを実行し、新しい.ilk ファイルを作成します。 .ilk ファイルが使用できない場合、LINK は非増分リンクを実行します。 インクリメンタル リンクの詳細については、 /INCREMENTAL (インクリメンタル リンク) リンカー オプションを参照してください。 ファイルの名前と場所を指定する方法については、「 /ILK (増分データベース ファイルの名
注意 このページにアクセスするには、承認が必要です。 サインインまたはディレクトリの変更を試すことができます。 このページにアクセスするには、承認が必要です。 ディレクトリの変更を試すことができます。 共通言語ランタイム (CLR) をホストするすべてのアプリでは、マネージド コードを実行するために CLR を開始またはアクティブ化する必要があります。 通常、.NET Framework アプリはビルドされた CLR のバージョンで実行されますが、アプリケーション構成ファイル (app.config ファイルと呼ばれることもあります) を使用して、デスクトップ アプリのこの動作を変更できます。 ただし、アプリケーション構成ファイルを使用して Windows ストア アプリまたは Windows Phone アプリの既定のアクティベーション動作は変更できません。 この記事では、デスクトップ
_tcsnccpy_s、_tcsnccpy_s_l、_tcsnccpy_s、および_tcsnccpy_s_lについては、Generic-text 関数のマッピングを参照してください。 構文 errno_t strncpy_s( char *strDest, size_t numberOfElements, const char *strSource, size_t count ); errno_t _strncpy_s_l( char *strDest, size_t numberOfElements, const char *strSource, size_t count, _locale_t locale ); errno_t wcsncpy_s( wchar_t *strDest, size_t numberOfElements, const wchar_t *strSource,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く