投稿時間:2023-01-27 03:28:55 RSSフィード2023-01-27 03:00 分まとめ(33件)

カテゴリー等	サイト名等	記事タイトル・トレンドワード等	リンクURL	頻出ワード・要約等/検索ボリューム	登録日
AWS	AWS Big Data Blog	Automate deployment and version updates for Amazon Kinesis Data Analytics applications with AWS CodePipeline	https://aws.amazon.com/blogs/big-data/automate-deployment-and-version-updates-for-amazon-kinesis-data-analytics-applications-with-aws-codepipeline/	Automate deployment and version updates for Amazon Kinesis Data Analytics applications with AWS CodePipelineAmazon Kinesis Data Analytics is the easiest way to transform and analyze streaming data in real time using Apache Flink Customers are already using Kinesis Data Analytics to perform real time analytics on fast moving data generated from data sources like IoT sensors change data capture CDC events gaming social media and many others Apache Flink is …	2023-01-26 17:49:40
AWS	AWS Machine Learning Blog	Best Egg achieved three times faster ML model training with Amazon SageMaker Automatic Model Tuning	https://aws.amazon.com/blogs/machine-learning/best-egg-achieved-three-times-faster-ml-model-training-with-amazon-sagemaker-automatic-model-tuning/	Best Egg achieved three times faster ML model training with Amazon SageMaker Automatic Model TuningThis post is co authored by Tristan Miller from Best Egg Best Egg is a leading financial confidence platform that provides lending products and resources focused on helping people feel more confident as they manage their everyday finances Since March Best Egg has delivered billion in consumer personal loans with strong credit performance welcomed …	2023-01-26 17:45:36
js	JavaScriptタグが付けられた新着投稿 - Qiita	matchHeight.jsでつまずいたこと	https://qiita.com/codetan315/items/82d6c37274e8f0a30a30	flexbox	2023-01-27 02:59:58
AWS	AWSタグが付けられた新着投稿 - Qiita	【Unity】知っていればよかった3Dモデル販売神サイト３選！！！	https://qiita.com/RyuseiItoh/items/0f92434eccd141ce7ee4	https	2023-01-27 02:25:47
技術ブログ	Developers.IO	Contentfulでnullのフィールドにクエリするとエラーが出る問題に Gatsby の createSchemaCustomization で対処する	https://dev.classmethod.jp/articles/contentful-createschemacustomization/	contentful	2023-01-26 17:01:54
海外TECH	Ars Technica	Microsoft said to be working on an overhauled File Explorer for Windows 11	https://arstechnica.com/?p=1912645	explorer	2023-01-26 17:48:07
海外TECH	Ars Technica	Get your first look at the OnePlus Pad, OnePlus’ first tablet	https://arstechnica.com/?p=1912648	tablet	2023-01-26 17:34:45
海外TECH	MakeUseOf	Keep Your New Year's Resolutions Alive With a 7-Day Fitness Challenge	https://www.makeuseof.com/7-day-fitness-challenge-keep-new-years-resolutions-alive/	Keep Your New Year x s Resolutions Alive With a Day Fitness ChallengeIf you re struggling to keep up with your fitness goals try a short and sweet seven day challenge to jumpstart your workout routine again	2023-01-26 17:45:16
海外TECH	MakeUseOf	How to Fix Firefox's Connection Reset Error	https://www.makeuseof.com/fix-firefox-connection-reset-error/	firefox	2023-01-26 17:31:16
海外TECH	MakeUseOf	How to Start the Quick Assist Tool in Windows 11	https://www.makeuseof.com/open-quick-assist-tool-windows-11/	windows	2023-01-26 17:15:16
海外TECH	DEV Community	Programming mathematical objects	https://dev.to/miguelmj/programming-mathematical-objects-1n3n	Programming mathematical objects IntroductionThis post is divided into two main parts In the first one I m going to introduce mathematical objects and mathematical applications It is programmer oriented but I assume some level of math knowledge In the second part I will tell my personal experience discovering and researching previous work on this same topic Note In case you know it the Wolfram Language may come to your mind while reading this post It is probably the most powerful tool out there for programming mathematics as it is the result of years of continuous work by a very talented team However I won t talk about it here because even though it is more accessible than I thought at first it imposes restrictions that I didn t want to deal with I was not going to expect my reader to do so if I didn t in the first place What are mathematical objects Anything we use to make math is a mathematical object For example numbers symbols π piπ ϵ epsilonϵ sqrt ​ and variables xxx yyy From simple mathematical objects we can build other more complex like operations x xx A∪BA cup BA∪B relationships lt lt lt x≠x ne x and even full theorems ∀x y∈N x lt y  ⟺  ∃z∈N x z y forall x y in mathbb N x lt y iff exists z in mathbb N x z y∀x y∈N x lt y⟺∃z∈N x z y Modern programming languages provide all kinds of interfaces to represent and manipulate mathematical objects Numbers for example are present in any non esoteric language you will stumble upon But what about more complex objects Mathematical objects in programming languages Mathematical objects as data structuresWhile mathematical objects are relatively abstract concepts their implementation in a computer is directly related to data structures Different languages define different native data structures and each compiler interpreter implements the operations on said data structures determining the mathematical objects that can be manipulated by that programming language without additional programming I say without additional programming because in the end all programming languages the Turing complete ones are equivalent Since we live in the future you will find that popular languages have libraries that implement anything you can think of Languages for mathematical applicationsMatLab works natively with matrices and their operations Do you want to work with matrices in Python With NumPy you can but it will be a little bit harder than with MatLab Do you want to work with matrices in C You also can but it will be harder than with Python This is just a crude case of how different languages handle better some mathematical objects And while matrices are a relatively common thing to use in programming languages other math concepts are not Remember that we are talking about very different fields of mathematics You would be surprised how cleaner or even faster can be a program written in less conventional languages like Haskell or Prolog depending on the problem So imagine you need an application capable of handling a lot of different math concepts arithmetic algebra logic geometry What are your options as a programmer You can choose a single multi purpose language like Python R or Julia that have immense repositories of libraries of all sorts You may find redundancies that you would need to contemplate and probably translate to common data structures Also some concepts might end up being difficult to use in an idiomatic clean way Or on the contrary to make them idiomatic they turn out to be poorly optimized You could use more than one language and glue them somehow or even embed one into another This way you could take advantage of the benefits of each Have you ever wondered how powerful could be an application made with JavaScript Python PyScript Prolog TauProlog That sounds like the third wave of AI to me Just kidding sounds very interesting but just reading it already gives me a headache Another option is to turn your application into different distributed services Collaboration is key to growth isn t it What if we implemented specialized services for different math fields and tasks and then make them talk to each other It has the advantages of both previous points You have a modular architecture you can reuse code and you can use different languages the most suited for each task Distributed math applications Shared formats as middlewareWhen you connect several applications you need formats We could let each application communicate the way it wanted and enable the main system to interpret every possible format but that s not scalable The Web is the best example of this Everything you display on a webpage is HTML by convention There are countless markup languages document formats but if you want something rendered in your browser you better translate it to HTML Look at Mathjax or KaTeX We didn t want to write mathematical equations directly in HTML because LaTeX was better for that So we made applications that translated it into HTML Formats for humans vs Semantic formats for machinesStandard formats are powerful When machines are able to communicate everything is better But HTML and CSS for example are a special case for one reason their final target are human eyes An HTML page might be a complete mess but if it renders into a human readable page it s alright In fact when we decided that we wanted the web to be machine readable the concept of the semantic web was born Because machines do not care about presentation they care about semantics the meaningful information they can parse from the used formats Semantic math formatsAnd here s the problem with a lot of formats for mathematical object representation they are made to present information to humans not to machines LaTeX for example doesn t hold much semantic information xy sin e xy sin e xy sin e The expression above is written in valid LaTeX but it is pretty ambiguous Is xyxyxy a single variable or the product of xxx and yyy Is eee the Euler constant or an independent variable We don t know because LaTeX is not a semantic format A human would know the answers thanks to the context in which we use the expression but probably that context is not machine readable Wikipedia points out three main formats for computer interchange MathML OpenMath and OMDoc The people involved in the development of each one worked on the others too so they are sort of complementary MathML has two variants Presentation MathML which doesn t hold semantic information and Content MathML which does The mechanism for describing the semantics of its symbols is not present in the format itself For that it relies on the OpenMath standard or similar alternatives OpenMath provides two encodings to represent mathematical objects and also defines an extensible mechanism to describe the semantics of its symbols the Content Dictionaries There are official dictionaries that describe various symbols for different fields of mathematics but any person or organization could define more dictionaries to extend the number of objects representable by the format This way an application that uses follows this standard only has to specify which dictionaries it supports OMDoc on the other hand is some kind of extension to both MathML and OpenMath designed to represent mathematical documents for humans and machines alike Note I shouldn t finish this section without mentioning the existence of SCSCP Symbolic Computation Software Composability Protocol It is a protocol developed to communicate distributed systems for mathematical computation or CAS Computer Algebra System It is built on top of the OpenMath standard to describe a server client communication oriented to mathematical objects My experience with the OpenMath standard First encounter Apparent deathOpenMath is the best suited standard to communicate distributed math applications I was really excited when I found this standard As long as an application supported the OpenMath encoding OM it could be communicated with lots of other interesting applications easily with a common format A whole new world of possibilities for collaboration I was sure I would find applications to transform OM into renderable formats like LaTeX or HTML reduce or evaluate complex mathematical expressions transform function definitions into code etc However disappointment came when I continued to research Reading the openmath org page I found a list of projects that used the standard The first time I clicked on one broken link But hey the next link works and the linked project is obsolete it has unresolved and unfindable dependencies The official page is full of broken links and obsolete incomplete and undocumented projects But it did not feel like abandonware from decades ago there were things dated less than a few years ago It was the same feeling as being late for a party that had just ended Finding the trailI only found a Python library and a JS package implementing the standard that seemed to be active to some extent but neither of them contemplated the full specification The one in JS is a bit basic And when I tried to use the Python one I didn t find it easy to do anything with it apart from parsing and serializing XML it felt like the mathematical objects were not programmed to be manipulated easily Of course that can be and probably is my fault because the library is used in another SCSCP library where it proves to be useful At first I didn t give too much attention to the SCSCP library because I thought it was not related to what I was looking for I started my own Python implementation of the standard if you visit it on my GitHub keep in mind it is very unstable and mostly experimental for now and forgot about any official implementation However I recently returned to that library trying to understand it better with the knowledge acquired by working with OpenMath on my own The SCSCP library caught my attention this time and I followed one link after another until I understood what was going on Part of these projects was recently funded by the EU in a program to foster the development of a European research infrastructure called OpenDreamKit that happened to finish in In fact there are two more projects built on top of both the OpenMath and SCSCP Python libraries that belong to said infrastructure and seem to have little attention from other developers even though they seem to be the only current functioning projects based on that technologies My interpretationDisclaimer I don t talk on behalf of anyone except myself and I might have incomplete or wrong information about what s been going with OpenMath on in the last decades I ve spent many hours browsing the pages related to OpenMath and I ve come to a conclusion It looks like a lot of this work started long ago in the nineties which explains why there is so much that s become obsolete so it is in fact like abandonware from decades ago To me it looked like back then their work was more similar to projects of software development But their society has always been closely related to universities and public funds similar to the OpenDreamKit one So their current available work is very academic They have papers instead of documentation and research groups instead of communities They made their last workshop a year and a half ago Jul so they were active recently But then why don t they update their website to reflect the actual state of the project Why isn t there any work to integrate the standard into modern popular frameworks used for mathematics I ve come to think that it s just that if they are actually still active I m out of the appropriate communication channels I don t know if I m in an empty room or just in the wrong room ConclusionIs the project just close to a death of disinterest Or maybe the circles using and developing it are not the circles of software developers but of researchers and academics I honestly don t know But also I don t care I found the project to be fascinating and full of potential The OM Society might not have the same philosophy as other modern open source projects but their work is there for us to use it I think the idea of distributed mathematical systems is wonderful But not only for researchers who are the people using them right now also for developers My intention with this post was to make these concepts and possibilities known to people interested in working on open source projects like the ones we do know in the hope that new open and active communities can be formed If you liked this topic let me know and I will write more about it I haven t explained anything about the format encodings and content dictionaries of the OpenMath standard so I ll probably write another post explaining how to use and implement them ReferencesSymbolic Computation Software Composability Protocol SCSCP Specification Version OMDoc An Open Markup Format for Mathematical DocumentsInteroperability in the OpenDreamKit project the Math in the Middle approach rd section	2023-01-26 17:31:42
Apple	AppleInsider - Frontpage News	Apple pauses in-house Wi-Fi chip development	https://appleinsider.com/articles/23/01/26/apple-pauses-in-house-wi-fi-chip-development?utm_medium=rss	Apple pauses in house Wi Fi chip developmentShifts in internal development priorities have caused Apple to indefinitely suspend the development of its own Wi Fi chips for future iPhones Internal Wi Fi chip development has been haltedApple has been rumored to be bringing modem development internal for years as it wants to reduce its reliance on distributors like Broadcom The latest data shows that Wi Fi chip development has run into potential barriers and Apple is redistributing its resources Read more	2023-01-26 17:57:04
Apple	AppleInsider - Frontpage News	Native WhatsApp software coming to Mac thanks to Catalyst	https://appleinsider.com/articles/23/01/26/native-whatsapp-software-coming-to-mac-thanks-to-catalyst?utm_medium=rss	Native WhatsApp software coming to Mac thanks to CatalystWhatsApp is working on a new Mac app that uses Apple s Mac Catalyst development framework and this will let it use system resources more efficiently WhatsApp is offering a better Mac appWhatsApp ーowned by Meta ーcurrently offers a web based Electron app for Mac users alongside its web app through browsers The new app has been in a closed beta for a few months but now anyone can download the MB file on macOS Big Sur or later on the WhatsApp website Read more	2023-01-26 17:39:05
海外TECH	Engadget	Uber Eats now shows users which of their personal details couriers can see	https://www.engadget.com/uber-eats-view-as-delivery-person-privacy-safety-173943014.html?src=rss	Uber Eats now shows users which of their personal details couriers can seeThe next time you order something from Uber Eats you ll be able to find out what personal information of yours a courier can see at each stage of the delivery process The View as Delivery Person feature follows a View as Driver function Uber added in Starting today Uber Eats users in the US and Canada can access the information from the recent order page and in the app s privacy center under the privacy menu on the account tab The delivery person will only know an approximate delivery location until they collect the order Then they ll typically have access to your first name initial of your last name and exact delivery location Uber will provide them with your delivery instructions and notes too After the order is completed the courier will once again only see a general delivery location in their app Did you know we limit what your delivery person sees about you when they accept your Uber Eats order We ve launched a new product so you can see what is shared with a courier when you place an order on the app US and Canada only Link in bio for more pic twitter com RgQBXATfQーUber Eats UberEats January Moreover the feature will tell you what kinds of details couriers can t see such as your phone number payment details or driver rating If you order products like alcohol or weed through Uber Eats you need to prove you re of legal age by sharing a picture of your ID Couriers can t see your ID details after they make the delivery Uber says The idea is to provide users with more peace of mind and transparency as Zach Singleton Uber s head of privacy and equity product told The Verge View as Driver was a popular privacy feature among users according to Singleton who noted that Uber receives thousands of support tickets from users who are concerned about how much personal information their driver or courier gets as well as those eager to know more Safety is a critical concern for many Uber and Uber Eats users Singleton added that women are “ percent more likely to have a concern about the information that delivery people had when something uncomfortable has occurred	2023-01-26 17:39:43
海外TECH	Engadget	OnePlus teases its first tablet ahead of next month’s official reveal	https://www.engadget.com/oneplus-pad-leaked-images-tablet-173151278.html?src=rss	OnePlus teases its first tablet ahead of next month s official revealA OnePlus tablet is on the way A new official image of the upcoming OnePlus Pad surfaced showing a “Halo Green color and an unconventional camera placement The tablet will reportedly launch alongside the OnePlus G and Buds Pro at a February th event The lone image posted on OnePlus official India website reveals a green finish with a centered rear camera It s reportedly an aluminum alloy body with a cambered gently sloped like older iPads frame In some impressively flowery marketing copy OnePlus toldTechRadar the green hue “blends the vibrancy of life with the vastness of space Unfortunately we don t yet know about other color options full specs or pricing You can better see the tablet s narrow bezels and centered front camera after adjusting the image s levels OnePlusThis year may be a renaissance for Android tablets In addition to OnePlus upcoming slate Google teased its Pixel Tablet at two events The device arriving sometime this year will attach to a speaker base while running the Tensor G chip from its latest flagship phones It will follow the ill fated Pixel Slate which Google discontinued in after only two years The consumer tablet market is dominated by Apple s iPad with Samsung and Amazon offering the most popular Android running alternatives	2023-01-26 17:31:51
海外TECH	CodeProject Latest Articles	Running CodeProject.AI Server on a Raspberry Pi	https://www.codeproject.com/Articles/5353064/Running-CodeProject-AI-Server-on-a-Raspberry-Pi	raspberry	2023-01-26 17:12:00
ニュース	BBC News - Home	Transgender rapist Isla Bryson moved to men's prison	https://www.bbc.co.uk/news/uk-scotland-64413242?at_medium=RSS&at_campaign=KARANGA	female	2023-01-26 17:01:24
ニュース	BBC News - Home	No penalties for 'innocent' tax errors, HMRC boss says	https://www.bbc.co.uk/news/uk-politics-64410490?at_medium=RSS&at_campaign=KARANGA	chairman	2023-01-26 17:04:26
ニュース	BBC News - Home	Gareth Southgate: England manager on decision to stay, World Cup & human rights	https://www.bbc.co.uk/sport/football/64397469?at_medium=RSS&at_campaign=KARANGA	Gareth Southgate England manager on decision to stay World Cup amp human rightsGareth Southgate talks to BBC sports editor Dan Roan about his decision to remain England manager the team s performance in Qatar and why he has no regrets	2023-01-26 17:03:10
ニュース	BBC News - Home	Transpennine Express boss apologises for poor services	https://www.bbc.co.uk/news/business-64412789?at_medium=RSS&at_campaign=KARANGA	months	2023-01-26 17:39:19
ニュース	BBC News - Home	Nine Palestinians killed in Israeli raid in Jenin	https://www.bbc.co.uk/news/world-middle-east-64410607?at_medium=RSS&at_campaign=KARANGA	death	2023-01-26 17:39:10
ニュース	BBC News - Home	Pep Guardiola: 'Mikel Arteta wouldn't celebrate goals against Arsenal'	https://www.bbc.co.uk/sport/av/football/64420031?at_medium=RSS&at_campaign=KARANGA	Pep Guardiola x Mikel Arteta wouldn x t celebrate goals against Arsenal x Manchester City manager Pep Guardiola looks back on his time working with Mikel Arteta and recalls how his then assistant coach would never celebrate goals against his club Arsenal	2023-01-26 17:48:51
ビジネス	ダイヤモンド・オンライン - 新着記事	【ご飯に“チョイ足し”するだけ！】「子どもの骨を強くする」超優秀食材ナンバー1とは？ - 医師が教える　子どもの食事　50の基本	https://diamond.jp/articles/-/316517	食材	2023-01-27 02:50:00
ビジネス	ダイヤモンド・オンライン - 新着記事	上司が職場の「心理的安全性」よりも重視すべきこと・ベスト1 - だから、この本。	https://diamond.jp/articles/-/315766	組織で働いていれば、こうした悩みを抱えることはよくあることです。	2023-01-27 02:45:00
ビジネス	ダイヤモンド・オンライン - 新着記事	「風通しのいい組織」に共通するリーダーの習慣 - アジャイル仕事術	https://diamond.jp/articles/-/316660		2023-01-27 02:40:00
ビジネス	ダイヤモンド・オンライン - 新着記事	「質問できない人」が無能である、たった1つの理由 - 99％はバイアス	https://diamond.jp/articles/-/316011	質問	2023-01-27 02:35:00
ビジネス	ダイヤモンド・オンライン - 新着記事	メンタルが弱い人でも心を整えられる超簡単な方法とは？ - 1秒で答えをつくる力 お笑い芸人が学ぶ「切り返し」のプロになる48の技術	https://diamond.jp/articles/-/316732		2023-01-27 02:30:00
ビジネス	ダイヤモンド・オンライン - 新着記事	【「世界一受けたい授業」で話題】カリスマ保育士てぃ先生が教える！ 自宅でできる園バス置き去り対策とは？ - カリスマ保育士てぃ先生の子育てのみんなの悩み、お助け中！	https://diamond.jp/articles/-/316244	【「世界一受けたい授業」で話題】カリスマ保育士てぃ先生が教える自宅でできる園バス置き去り対策とはカリスマ保育士てぃ先生の子育てのみんなの悩み、お助け中【YouTube万人、Twitter万人、Instagram万人】今どきのママパパに圧倒的に支持されているカリスマ保育士・てぃ先生の子育てアドバイス本第弾『子どもにもっと伝わるスゴ技大全カリスマ保育士てぃ先生の子育てのみんなの悩み、お助け中』ができましたテレビやSNSで大人気、今どきのママパパに圧倒的に支持されている現役保育士・てぃ先生。	2023-01-27 02:25:00
ビジネス	ダイヤモンド・オンライン - 新着記事	【精神科医が教える】 自分の人生に価値を感じられない？ 思い悩む心が一瞬でスッキリする方法 - 精神科医Tomyが教える 心の執着の手放し方	https://diamond.jp/articles/-/315544	【精神科医が教える】自分の人生に価値を感じられない思い悩む心が一瞬でスッキリする方法精神科医Tomyが教える心の執着の手放し方誰しも悩みや不安は尽きない。	2023-01-27 02:20:00
ビジネス	ダイヤモンド・オンライン - 新着記事	「実力以上に評価される人」は「実力以下に評価される人」よりずっと不幸だ - 私の居場所が見つからない	https://diamond.jp/articles/-/316455		2023-01-27 02:15:00
ビジネス	ダイヤモンド・オンライン - 新着記事	アトピー性皮膚炎の患者はなぜ、「民間療法」に傾いていくのか？【書籍オンライン編集部セレクション】 - 最新医学で一番正しいアトピーの治し方	https://diamond.jp/articles/-/316340	アトピー性皮膚炎の患者はなぜ、「民間療法」に傾いていくのか【書籍オンライン編集部セレクション】最新医学で一番正しいアトピーの治し方アトピーは、その病名が「奇妙な」という意味のギリシャ語「atopia」に由来している。	2023-01-27 02:10:00
ビジネス	ダイヤモンド・オンライン - 新着記事	【お金の専門家が教える】資産運用に失敗する人の共通点 - ひとりで楽しく生きるためのお金大全	https://diamond.jp/articles/-/316405	【お金の専門家が教える】資産運用に失敗する人の共通点ひとりで楽しく生きるためのお金大全おひとりさまの老後には、現役時代には見えにくい落とし穴があるそれも踏まえた、お金老後の対策が必須です男性の人に人、女性は人に人が生涯未婚と、独身者は急増中ですが、税金や社会保険などの制度は結婚して子どもがいる人を中心に設計されており、知らずにいると独身者は損をする可能性も。	2023-01-27 02:05:00
ビジネス	不景気.com	島根のタクシー会社「浜田ハイヤー」に破産開始決定 - 不景気com	https://www.fukeiki.com/2023/01/hamada-hire.html	島根県浜田市	2023-01-26 17:20:52