安全なウェブサイトの作り方 - 1.4 セッション管理の不備 | 情報セキュリティ | IPA 独立行政法人 情報処理推進機構
安全なウェブサイトの作り方 - 1.4 セッション管理の不備 概要 ウェブアプリケーションの中には、セッションID（利用者を識別するための情報）を発行し、セッション管理を行っているものがあります。このセッションIDの発行や管理に不備がある場合、悪意のある人にログイン中の利用者のセッションIDを不正に取得され、その利用者になりすましてアクセスされてしまう可能性があります。この問題を悪用した攻撃手法を、「セッション・ハイジャック」と呼びます。 また、推測や盗用以外に、セッション管理の不備を狙ったもう一つの攻撃手法として、「セッションIDの固定化（Session Fixation）」と呼ばれる攻撃手法があります。悪意ある人があらかじめ用意したセッションIDを、何らかの方法（脚注1）で利用者に送り込み、利用者がこれに気付かずにパスワードを入力するなどしてログインすると起こりうる問題です。悪意のある
juliaのプロットで日本語を使う方法
新しい言語や環境ができると、２バイト文字の日本語の壁にぶち当たるのは世の常。 けど、最近はよくよく対応できるようになってるのもまた現実。 というわけで、今回は、julia Plotsで日本語を扱う方法を２通り解説していきます。 実行環境場合 windows 11julia 1.8.0Plots v1.35.5PlotlyJS v0.18.10 gr()を使う場合 gr()はPlotsを使うときの標準で機能しているものです。 そのままでは、日本語表示はできません（文字化けしてしまう） まずは、環境設定で、エンコーディングをutf8に変更します。 そのあと、grの環境のフォントファミリーを日本語のものにします。 ENV["GKS_ENCODING"] = "utf8" using Plots gr(fontfamily="IPAMincho") plot(rand(30),title="日本語
谷地川を歩く 日野・多摩川から八王子戸吹の上流端へ - 散歩の途中
八王子市戸吹町、加住丘陵のいくつかの谷あいから小さな流れが集まり谷地川となります。丘陵の間にできた谷間をだいたい東南東の方向に流れ下り、日野市、八王子市境界付近で低地に出るとすぐ多摩川に合流します。 延長は12.9kmとされていますがそれほど長くなかったような、という川です。 いつもの川あるきと同じく下流からさかのぼって歩きます。 最初は多摩川、JR中央線多摩川橋梁近くから 多摩川右岸の日野市側から、対岸は立川市。 右端の樋門は日野用水の排水用でしょう。この周辺の低地にはかつて多くの水田があり、張り巡らされた用水路がいまも残っています。 背後多摩川上流側に谷地川合流点があります。 合流点付近 右側多摩川、左にほんのちょっとだけのぞかせているのが谷地川です。手前に向かって草の谷間があって右側〈見切れてますが〉で合流してます。近くには『多摩川右岸 海から42K』のポストがありました。 少しの間
Juliaで任意精度演算に入門してみた
Julia Version 1.7.1 Commit ac5cc99908 (2021-12-22 19:35 UTC) Platform Info: OS: Windows (x86_64-w64-mingw32) CPU: Intel(R) Core(TM) i7-4650U CPU @ 1.70GHz WORD_SIZE: 64 LIBM: libopenlibm LLVM: libLLVM-12.0.1 (ORCJIT, haswell) 基本的な使い方 デフォルトでは, 整数はInt64型, 小数はFloat64型になります. Float64型はいわゆる倍精度浮動小数点数というものです. b = big(2)とすると, BigInt型になります.
東京の川にすむ生きもの｜東京の川｜多摩川水系｜谷地川
八王子市戸吹町に源を発し、滝山街道に沿って南東に流れ、日野市で多摩川に合流する全長12.9kmの河川です。 両岸には加住丘陵が連なっており、特に谷地川と多摩川に挟まれた加住北丘陵は、都立滝山自然公園にも指定されている美しい自然景観の残る地域です。
僅か2.3GBで日本語可能な超高性能ローカルLLMのPhi-3 MINIをllama.cppとCPUで動かしてみた。スマホでも可。従来のコンパクトLLMと比較して超越した性能で未来を感じさせるMicroSoft寄付ありがとう
Kapper@Linuxガジェヲタ＆異世界小説家＆生成AI＆電子工作大好き @kapper1224 昨日MicroSoftからリリースしたローカルLLMモデルのPhi-3 mini 4k Q4をllama.cppのサーバ版を動かしてみた。こいつ2.32GBしかないくせに日本語しゃべれるぞ。今までとは桁違いの性能なんですけど・・・ ./build/bin/server -m ../Phi-3-mini-4k-instruct-q4.gguf -n 128 huggingface.co/microsoft/Phi-… pic.twitter.com/DTmUmeh7JE 2024-04-24 22:46:51
「認証」を整理する | IIJ Engineers Blog
英語の「Authentication」を整理する ここからは先ほどの分類で言うところの「ユーザ認証」としての「認証」、つまり英語の「Authentication」に該当する「認証」について、さらに整理を進めていきます。 先ほど、「ユーザ認証」を「システムを利用しようとしているユーザを、システムに登録済みのユーザかどうか識別し、ユーザが主張する身元を検証するプロセス」と説明しました。「ユーザの識別」と「身元の検証」はユーザ認証に欠かせませんが、実際は他にも「ユーザの有効／無効状態の確認」や「検証に成功した場合の身元の保証（アクセストークンの発行等）」などの処理も一般的にユーザ認証のプロセスには含まれます。 ここで冒頭の「○○認証」を振り返りましょう。パスワード認証、SMS認証、指紋認証、顔認証は実はここで言うユーザ認証には該当せず、ユーザ認証中の一処理である「身元の検証」を担っていることがお
Julia（Plotly）でグリグリ動かせる3Dグラフを作る方法 | 趣味の大学数学
これによって、PlotsとPlotlyJSが動くようになります。 僕の環境だと「The WebIO Jupyter extension was not detected. See the WebIO Jupyter integration documentation for more information. 」というメッセージが出ますが、以降の実行には影響がありませんでした。 2変数関数の3Dグラフ例として、いくつかの2変数関数の3Dグラフを描いてみましょう。 \[ \begin{aligned}f(x,y)=x^2+y^2\end{aligned} \]
タイムスタンプの精度を落とすときは切り捨てろ - methaneのブログ
とあるプロジェクトでナノ秒からミリ秒への変換で四捨五入してきた人がいて、時刻を扱うときは保存精度未満は切り捨てるべきというのが常識になっていないなーと思ったので。 2023-10-01 を、何年か表示する時に、2024年に丸める人はいないだろう。 13:45 が何時か表示する時も、13時と表示するだろう。（口頭で何時？と聞かれたら14時と答えるかもしれないけれど） つまり、ある精度で表した時刻は、実際には次のような半開区間を示しているのである。 2023-01-01 00:00:00 <= 2023年 < 2024-01-01 00:00:00 13:45:00.000 <= 13:45 < 13:46:00.000 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
mod_proxy_ajp + mod_proxy_balancer + mod_rewrite 併用時に Tomcat が処理するリソースにApache側で認証をかける - Qiita
静的コンテンツをApache、動的コンテンツをTomcatに役割分担していると、動的コンテンツ側で認証がかからなかったので、対応のメモ。 <Direcoty>の中で ajp にrewriteしてやるのがポイント。 Alias / /var/tomcat/web/1/webapps/ <Directory "/var/tomcat/web/1/webapps"> Allow from all AllowOverride AuthConfig RewriteRule ^(.+)\.jsp(.+)? balancer://ajp-balancer2/$1.jsp$2 [P,L] RewriteRule ^(.+)\.json(.+)? balancer://ajp-balancer2/$1.json$2 [P,L] </Directory>
いちばんやさしいローカル LLM｜ぬこぬこ
概要ローカル LLM 初めましての方でも動かせるチュートリアル 最近の公開されている大規模言語モデルの性能向上がすごい Ollama を使えば簡単に LLM をローカル環境で動かせる Enchanted や Open WebUI を使えばローカル LLM を ChatGPT を使う感覚で使うことができる quantkit を使えば簡単に LLM を量子化でき、ローカルでも実行可能なサイズに小さくできる 1. はじめに大規模言語モデル（LLM）の数は数年前と比べてたくさん増えました。有名な LLM を使ったチャットサービスとして、OpenAI の ChatGPT や Anthropic の Claude、Google の Gemini などがありますが、これらのサービスの中で利用されている大規模言語モデルは公開されていません。 現状、様々な評価指標により LLM の性能が測定されていますが、
情報処理学会 情報入試委員会 - 情報科全教科書用語リスト
情報処理学会情報入試委員会は、高等学校情報科において現在までに出版された検定済教科書すべての索引に現れる用語を整理した用語集[1]（論文[2]が刊行された時点のもの）を基に、用語のカテゴリづけや、要約説明文づけ等の手を加え、再構成した「情報科全教科書用語リスト」を作成しました。 ここに広く、CC 4.0 BY-SA ライセンスを利用して、公開します。 https://docs.google.com/spreadsheets/d/1FYsq1-ZmwrovR1j8_Q_M5QmSlj6NIZdy/view 高等学校の情報科は2003年から実施されており、20年以上の歴史があります。しかし、他の教科と比較すると歴史は浅く、情報科についての共通認識は広まっているわけではありません。 情報科の検定済み教科書は既に100冊以上出版されており、そこには様々な情報科に関連する用語が含まれています。これら
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - Gnimuc/GLTF.jl: glTF loader and writer for Julia
無印「インフラゼロハウス」に行ってきた 上下水道・電気がなくても暮らせる
*FAIRWEATHER* road bar bag (x-pac black)
莢 | 漢字一字 | 漢字ペディア
GitHub - Alexander-Barth/FluidSimDemo-WebAssembly
Exporting 3D Makie Plots to .stl files?
クラスタ構成の Tomcat をApacheでロードバランスする
第19回：遺族にもよく分からない故人のサブスク、解約できないと永遠に請求が続くのか？【天国へのプロトコル】
